As we had no more information about this bug (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=341226;repeatmerged=no) and nobody else seems to have been able to confirm it, I think we can close it.
Any objection? -- Ciao, Davide -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
