Merge pull request 'Update texinfo' (#21) from lnussel/core:update_texinfo into main

This commit is contained in:
lnussel 2022-11-16 16:55:45 +01:00
commit f0cbeaca76

@ -1 +1 @@
Subproject commit c926839a40082d9f2fe1e66a42ae204220618284
Subproject commit d2ac3b3cc3a7469c2f74a68993c1fa9258b7c915