Hi Matus, On Tue, Nov 17, 2020 at 1:01 AM Matus UHLAR - fantomas <uh...@fantomas.sk> wrote: > I have submitted a bug, containing fix for this issue: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=974926 > > I'm not sure if anyone is willing to fix this in the stretch version, but if > it's the case, here you are...
This indeed warrants a fix. I'll upload the fixed version with the attached patch if no one beats me to it :) - u
