Hello,

[email protected] (Ludovic Courtès) writes:

[...]

>> Is it OK to push this patch into master?
>
> Definitely, thank you!
>
> Ludo’.

Pushed as commit 2f18b7329! Thank you,

Maxim



Reply via email to