Hi Andreas, On Sat, Feb 09, 2019 at 03:32:25PM +0100, Andreas Beckmann wrote: > I just backported the fix to stretch, prepared a stretch-pu request and > uploaded the package: https://bugs.debian.org/921864 Many thanks! Michael