On Thu, Aug 22, 2024 at 10:32:05AM +0200, Patrice Dumas wrote:
> Hello,
> 
> Here is my proposal:
> 
> Does it look ok?

Here is a commit that 'implements' that proposal:

https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=e142a9015c7b403b10207f77acacad72a88d01ef

-- 
Pat

Reply via email to