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.

Reply via email to