On Sat, Nov 02, 2024 at 11:43:44AM +0000, Werner LEMBERG wrote: > > [texinfo.tex 2024-11-01.22] > > > > Thanks for the quick fix! > > Unfortunately, your fix is buggy; it swallows the space after the > quotation mark. > > ``` > \input texinfo > > c’’ a > > @bye > ```
I belive it is because a space can be swallowed after a dimension in TeX. I have fixed it in commit 0f849a4114 (today).
