On Wed, Jun 25, 2003 at 07:23:37PM -0400, DJ Delorie wrote: > > > And this remove-and-replace tactic is asking for trouble - e.g. if > > anyone ever decides to libtoolize libiberty. > > This is already on the to-do list. That is not a problem for demangler. I will deal with that when time comes. H.J.