On 05/15/2014 03:28 PM, Gary Benson wrote: > I'm working on some other stuff now, but I might make it my task > to fix demangler bugs here and there between projects. I pretty > much have a handle on it now I think. Now that's the spirit! Before you'll know it you'll be our goto demangler guy. Oh wait... You already are. :-) Thanks, -- Pedro Alves