Hello, > -----Original Message----- > From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] > > I am uncertain whether we should fix it because it does > mean a (very minor) change of behaviour. I tend to 'yes'.
I have just committed a fix. Olli --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]