David Kastrup <[email protected]> writes: > Those were defensive changes intended to make fewer assumptions. I'd be > surprised if they didn't work with older Texinfo variants, but surprises > are not unheard of...
I tried it with texinfo.tex 2021-04-25.21 and no surprises. Do you want to go ahead and push your change? Best, Arash
