Thanks. You can merge the last version too, which improves a bit this patch
;)

El mié., 7 oct. 2020 a las 0:03, Samuel Thibault (<[email protected]>)
escribió:

> Right, applied, thanks!
>

Reply via email to