Done. -Matej
On 11/3/07, Eelco Hillenius <[EMAIL PROTECTED]> wrote: > On 11/3/07, Eelco Hillenius <[EMAIL PROTECTED]> wrote: > > On 11/3/07, Martijn Dashorst <[EMAIL PROTECTED]> wrote: > > > Though I'm not pro on this change, I suggest putting it in before rc1. > > > > Why aren't you pro? Because you don't agree with the idea, or because > > it is too late in the game? > > Ugh, nevermind. I thought this was another thread :-) > > I agree, we better decide on this before rc1. I'm +0. The fix looks > fine, but it is yet another functional change. > > Eelco >