GDB 10.1 release: branching early July?

[Luis Machado]

Hi Joel,

On Fri, Jun 26, 2020, 13:26 Joel Brobecker <brobecker@adacore.com> wrote:

> 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?
>

No word yet, but I think Tom de Vries will get to it. I suppose he is
either busy or having days off. So I'm giving it a few days so he can chime
in.


>