Thanks for fixing this :) I just introduced it :(
I tried to fix it in the CVS HEAD where is just come from, but the CVS server seems to be down.
Will try again later...
Done...
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
