Re: FYI, Pushed 5 demangler patches to 7.10 branch

Joel Brobecker
2015-12-04T10:36:39Z

> > 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. I think I'll make the release sometime during
the weekend.

--
Joel