On Tue, 10 Oct 2006, Vlastimil Babka <[EMAIL PROTECTED]> wrote: > Not sure which behaviour is more correct, i.e. if the difference is > a bug or feature.
I don't think we've consciously changed it, so I'd call it a bug. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]