RFA: Please review the new C++ demangler patch

[Wolfgang Bangerth]

> Can we (re)write quick mini-string and mini-vector classes to get past
> this?

Relatively lean implementations that should suffice for your purposes could be 
taken from old-day's libg++. I don't think it had all these allocators and 
locales in it back then.

W.
 
-------------------------------------------------------------------------
Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                               www: http://www.ices.utexas.edu/~bangerth/