Hi, On Thu, Jan 28, 2021 at 11:42 AM Xavier <yadd@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