Janis Johnson wrote: >>>OK for the 4.0-branch after it opens? >>> >>Ok, but... >> >> >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... Paolo.