Re: GDB 10.1 release: branching early July?

Joel Brobecker
2020-06-26T16:26:50Z

Hi Luis,

> I just reported one for 10.1, so we can make sure that is fixed before
> branch/release.
>
> https://sourceware.org/bugzilla/show_bug.cgi?id=26175

Thanks for bringing it to our attention. I agree this is something
we should certainly try to fix. Do you know if someone already
agreed to work on that?

--
Joel