On Mon, Feb 19, 2001 at 11:14:12AM +0000, Richard Earnshaw wrote: > This fixes the bootstrap problem; but it needs to be on the branch a well. Oops. Committed to the branch. r~