Hi! Thanks for your report and the patch. I've included it in the git repo, it'll be fixed in the next upload.
I've also forwarded it to upstream for inclusion. Cheers -- mail: a...@thur.de http://adi.thur.de PGP/GPG: key via keyserver -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
