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.
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.