Thanks for reporting this bug. There are some other problems so that I'm going to get to -2, soon. Luca, thanks for 0.7.12-1!
Greetings, Daniel Stender -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
