On Monday 27 November 2006 16:27, Jindrich Makovicka wrote: > Did the behavior change after this commit, or already after r20757 ? > I still can't see how this patch could change anything. Yes you are right, it changed after 20757. Sorry for the noise