Paolo Carlini wrote: >>Oh, no, I forgot and checked it in! Shall I revert it? >> >Yes ;) In my opinion, the patch is very safe and can stay also for >4.0.2, but well, Mark's call... > > To be clear, by "Yes" I meant, "Yes, I noticed". Again, as far as I'm concerned, the patch can certainly stay. Sorry for the confusion, Paolo.