On Fri, 8 May 2020 07:42:08 -0300 Antonio Terceiro <terce...@debian.org > wrote:
> I'm attaching the patch in case anyone else is affected and wants a > quick fix. Thanks for sharing the patch! It seems to fix this annoying issue. -- AVM Audiovisuelles Marketing und Computersysteme GmbH Alt-Moabit 95, 10559 Berlin HRB 23075 AG Charlottenburg Geschäftsführer: Johannes Nill
