> I did check it in (to gcc, then to src), then DJ's automatic merge > process appears to have reverted it. DJ, will it unrevert it in due > course? Grrr, my gcc svn checkout got "locked" so it wasn't updating. I'm rerunning it now.