Re: C++ demangler fix

[Paolo Carlini]

On 09/10/2013 08:38 PM, Jakub Jelinek wrote

Agreed, can you please revert it?

Sure, I'll do that momentarily.

Paolo.