In message <87iv9s52tx.fsf@calder.med.miami.edu>, Michael Alan Dorman writes: > > I just recently got bitten by the fact that this bug fix, which I > originally posted at the beginning of July, didn't seem to make it > into 5.01. It will make it into 5.02. Thanks. --Gisle