On Mon, 2003-05-12 at 18:17, Toon Moene wrote: > No, it didn't make it - that's why I made a remark about it :-) > I neglected to mention that I still have not checked in the merge. So, you couldn't have possibly seen it yet :) With any luck, the merge should be committed tomorrow or Wed. I still have some testsuite failures to go through. Diego.