Oleg Kalnichevski wrote:
I am +1 on this change. I think it is well justified.
Oleg
The patch has been committed.
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]