> However, I've tried to fix it in commit bdb7f23072 (texinfo.tex
> version 2023-01-11.18).

It works, thanks!


    Werner

Reply via email to