2017-04-27 12:54 GMT+02:00 Ricardo Wurmus <rekado@elephly.net


> > Should I send a patch, for this ?
>
> Yes, it’s best for you to send a patch.  I’ll apply it.
>
>
Ok, so: here it is
I hope it's ok
Thank you !