Hi, Thanks for reporting this bug and providing a patch. Your patch is included in the git repository, this will be fixed in the next upload.
Unfortunately, I don't think I'll be able to prepare a new upload in the next few weeks, but a NMU could do the trick. Regards, Bertrand -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
