> I'd be grateful if someone could merge this one (on a phone, and GitLab seems 
> to heavy for it...).
>
> Thanks,
> Jean

Done

Reply via email to