On Tue, Apr 12, 2016 at 05:01:50PM +0200, Gert Wollny wrote: > > BTW, any news regarding > > > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813638 > > > > ? Anything I can do at the moment ? > I've asked upstream to tag a new result, but so far he didn't do this, > so I will probably just package the latest git master. I see. Thanks for the update. Karsten -- GPG key ID E4071346 @ eu.pool.sks-keyservers.net E167 67FD A291 2BEA 73BD 4537 78B9 A9F9 E407 1346