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

Reply via email to