Hello, Bastien <b...@gnu.org> writes:
> Done, thanks. Thank you for taking care of it. >> BTW, shouldn't ca0c77033d729a51688eabbb9847249cf50ad6c4 be applied on >> maint too? > > I would not consider this a bug, and if so, a very minor one. Honestly, I didn't read the thread relative to this commit, so I don't know what it fixes or enhances. So you can disregard my suggestion. Regards, -- Nicolas Goaziou