On Mon, Apr 22, 2002 at 11:40:55PM +0200, Jan Hubicka wrote: > Appears to fix the problem too. Thanks! > re-bootstarpping in progress. OK with this change? Yep. r~