On Fri, Sep 15, 2000 at 08:14:57PM +0100, Andrew Haley wrote: > I don't think that this can happen, but I'll check if it's thought to > be necessary, I don't think it is. The patch is ok. r~