Hello Ricardo,

Ricardo Wurmus <rekado@elephly.net> writes:

>> Account name: wigust
>
> I’ve added your account to the group.  Welcome!

Thanks!

Pushed as 2e4bb8c8173e9be80cb33f8ce53eb65a7f9ecafd

Oleg.