On Sun, Dec 18, 2005 at 02:10:36AM +0100, Gerald Pfeifer wrote: > On Wed, 14 Dec 2005, Mike Stump wrote: > > :-( I think we should remove all traces of any search that doesn't work. > > I agree with that and plan to do so next week, once the server hosting > my GCC trees is online again.
Before you go ahead with that, please check with overseers@; they (Frank in particular) have been setting up a new search engine for the list archives all last week. -- Daniel Jacobowitz CodeSourcery, LLC