Hi, Thanks Peter, for the patch.
This has been added to the Git, and will be in the next Debian release of the package. Cheers, Thomas -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org