Hi, On Tue, 9 Feb 2021 at 09:35, Ludovic Courtès <l...@gnu.org> wrote:
> Pushed as 18a4882e3029a084d2f0c63d9d0148682a854546, thank you! Thanks! Your comment is better that the none of mime. ;-) I have not tried yours but I confirm with mine which is the same, the issue is fixed. :-) Cheers, simon
