Hi Jason,

> This issue also will be resolved by disabling or removing the old
> demangling code, which I haven't seen anyone argue against.

Doh - of course.  I withdraw my patch and I hope that yours will go in soon.

Cheers
  Nick


Reply via email to