> That could be, but anyway it's a bug. Yes, in deed it suggest a buggy behavior.
> Should I fill in a bug report? I'd suggest waiting a few days that one (or more) of the experienced developers, such as Cameron or Thomas, can take a look at this and share their opinion. If nothing happens within a reasonable time (let's say, about a week?), then I'd suggest filing a bug, potentially adding a link to this mailing list thread, to make sure this doesn't get lost. ;-) Regards, Helder Magalhães --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
