On Tue, Nov 08, 2022 at 04:58:39PM +0000, Gavin Smith wrote: > Patrice, would you be able to look at this?
Fixed in https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=fc756d9128170d92cfacb367e2622c991b1ea5c7 -- Pat
On Tue, Nov 08, 2022 at 04:58:39PM +0000, Gavin Smith wrote: > Patrice, would you be able to look at this?
Fixed in https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=fc756d9128170d92cfacb367e2622c991b1ea5c7 -- Pat