On Sun, Apr 25, 2021 at 02:55:38PM +0000, Werner LEMBERG wrote:
> Please modify either `texinfo.tex` or the info source code to make the
> behaviour identical (whatever it is, I actually don't care).

I agree that this should be done.

Reply via email to