On Mon, Jan 30, 2023 at 10:05:25AM +0100, Arash Esbati wrote: > Gavin Smith <gavinsmith0...@gmail.com> writes: > > > I've tried to fix it in commit c12865a0b2. > > Thanks. I'll report back if it works once info 7.0.3 is released and > provided by Msys2. > > Best, Arash
There may not be a Texinfo 7.0.3 release; it depends if enough important bugs are discovered before it is time for a Texinfo 7.1 release. I hadn't intended to include all bug fixes in a minor relase.