Hi Ludo, On Thu, 03 Dec 2020 at 18:07, Ludovic Courtès <l...@gnu.org> wrote: > This was fixed by c2cc5f0a006fd7797039dae24274833118ea7b47, closing!
Thanks to close this forgotten one. But it does not count for the “December old bug squashing“ effort. ;-) Cheers, simon