Hi This bug is now fixed upstream. There will be a minor release shortly, which will allow me to update the package.
Best regards, Olivier -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org