Hi,

On Thu, Jan 28, 2021 at 11:42 AM Xavier <y...@debian.org> wrote:
>
> I tested your patch, it fixes the problem.

Merged. The commit still carries your name. Hope that's okay with you.

Kind regards
Felix Lechner

Reply via email to