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