Control: severity -1 grave Control: tags -1 pending Hi Jochen,
Thanks for reporting this issue. I've fixed the issue in a new revision for experimental, and I'll also backport the fix to the version in jessie and request an unblock from the release team. Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
