On Tue, Dec 03, 2002 at 10:01:54AM +0100, Christian Perrier wrote: > The bug does not happen anymor esince I upgraded to 1.0.1-6. I guess > you may close it. That is good to know. Unfortunately the team is still having problems with new builds so I'm leaving this open for the moment. Chris