Re: FYI, Pushed 5 demangler patches to 7.10 branch

Pedro Alves
2015-11-30T12:22:24Z

On 11/28/2015 05:34 PM, Pedro Alves wrote:
> Hi all,
>
> FYI, I've merged the below demangler changes/fixes to the 7.10 branch.
>
> I've mainly wanted the "PR other/61321" fix below, which is really
> GDB PR 16957 and probably others. But, I thought it better to
> just merge all demangler fixes we have in master -- it was both
> easier, and I think safer this way, and of course fewer crashes/bugs
> should be nicer for users. :-)
>
> I'll update the release wiki page as soon as I have a chance.

Now done.

Thanks,
Pedro Alves