On Sun, Dec 01, 2019 at 09:14:24AM +0100, Bernhard Schmidt wrote: > Hi Jose, > > Thanks. This update was handled by the Debian LTS team. I will try to find some time later tonight to check it out. Thanks for the report. This was my update, and I am currently looking into this. > Best regards, > Bernhard cu Adrian