Hi ! I had no reply from upstream despite contacting them a few times...
In the meanwhile, I tried again to reproduce the bug to fix it myself, but I was unable to reproduce it... Could you please try again to cause the exception ? Cheers ! -- Hervé Rousseau -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org