On Sun, Nov 06, 2016 at 11:35:36PM +0100, Michael Biebl wrote: > Hi > […] > Is that a duplicate of > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=830597 ? Most probably, yes. Sorry for filing a duplicate.