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

Reply via email to