> Is this a known problem, or should i file a bug for that ? Sounds like a bug to me. Could you file a bug for it please?
Cheers, Eelco --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]