It's a long time since i filed this bug report, and I'm pleasantly surprised that it's believed fixed. Thanks for the work :)
Sander -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

