2017-04-25 22:16 GMT+02:00 Ricardo Wurmus <rekado@elephly.net>:

Catonano <catonano@gmail.com> writes:


Pushed with these changes to master with commit 623fb4d16.

Thanks!

Well, thanks to you, Ricardo !