tag 582554 patch thanks Gerrit,
Commit 1c322a0fd from my proposed-debian-sid branch fixes this bug. Please consider including it in the next upload. Cheers, -- Raphael Geissert - Debian Developer www.debian.org - get.debian.net -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

