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 !