Hi, On Mon, Oct 15, 2007, Rocco Rutte wrote: > Ah, now I see your point. I fixed this in changeset 35e5c34b7e91 which also > fixes bug #2917. Thanks! It seems things get fixed in no time if we can agree on the problem :-) Johannes