OK, I've made three attempts to make this bug notfound in my currently installed version, no luck so far :-(.
This bug isn't relevant any more. If anybody is better at debbugs than me, feel free to mark it as notfound in 1:3.0.0-4. Bonus points for writing a usable UI for debbugs :-p. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

