On Sun, Sep 14, 2008 at 7:42 PM, Nicolas Le Cam niko.lecam@gmail.com wrote:
Ok I will add a new line without removing yours as it definitely won't hurt.
No, you should probably just move it...if we then see another failing result, we can add it back. I probably just put it in the wrong place.