Hi Didier, thank you for the patch, I plan to work on this by next weekend. I will also consider moving the package to team maintenance, but before I need to do some homework and understand how this will change my work flow.
Cheers, Luca -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
