Merge pull request 'Update texinfo' (#33) from update_texinfo into test

This commit is contained in:
lnussel 2023-03-02 15:23:32 +01:00
commit 9803a1195b

@ -1 +1 @@
Subproject commit d2ac3b3cc3a7469c2f74a68993c1fa9258b7c915
Subproject commit f75230601027fb974ab2ed289abc4032720cd922