Patrice Dumas <[email protected]> writes: > This should be fixed by > https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=3ae7857e9f958386864f5ad4b7536ae50a130c8b
Ah, thanks. I already tried to send this patch in, but apparently that failed and I never noticed. Can confirm it does fix the issue. -- Arsen Arsenović
signature.asc
Description: PGP signature
