Hello, On Fri 01 May 2020 at 05:04pm +02, Holger Wansing wrote: > Hi Lev, > > Lev Lamberov <dogsleg@debian.org> wrote: >> Hi, >> >> please find attached a trivial patch to fix #929389. >> >> Cheers! >> Lev Lamberov > > I have just applied your patch, thanks! > > So the issue should be fixed within the next hours. Thank you both for working on this! -- Sean Whitton