Am 27.10.24 um 00:15 schrieb Iain Sandoe:
Tested on x86_64-darwin21 and linux, with makeinfo 6.7 pushed to trunk, thanks
Thanks! For the record, makeinfo 6.8 did not show this as an error. Best regards Thomas
Am 27.10.24 um 00:15 schrieb Iain Sandoe:
Tested on x86_64-darwin21 and linux, with makeinfo 6.7 pushed to trunk, thanks
Thanks! For the record, makeinfo 6.8 did not show this as an error. Best regards Thomas