On Thu, Dec 6, 2018 at 10:22 PM Jason Merrill <ja...@redhat.com> wrote: > > On Thu, Dec 6, 2018 at 11:14 AM Jason Merrill <ja...@redhat.com> wrote: > > > > Looks good to me. Independently, do you see a reason not to disable the > > old demangler entirely? > > Like so. Does anyone object to this? These mangling schemes haven't > been relevant in decades.
Why #ifdef the code? Just rip it out? Richard.