On Wed, 10 Jan 2018 11:43:47 +0100 Michael Weghorn <m.wegh...@posteo.de> wrote: > Just a note: #886733 seems to describe the same problem for Debian stable.
And while that has already been fixed, the problem persists in oldstable. I've been told that there's a workaround, but a fix would still be much appreciated. Thanks, Michael