GDB 10 branching - 2020-06-27 Update

[Simon Marchi]

On 2020-07-03 11:10 a.m., Joel Brobecker wrote:
>> I stumbled on a bug introduced by the multi-target patch, which I
>> think should be a blocker for the release (not necessarily the
>> branching).  I marked it with target milestone 10.1 in bugzilla:
>>
>> https://sourceware.org/bugzilla/show_bug.cgi?id=26199
> 
> Thanks Simon. Will you be the one actually looking into the problem?
> I would understand if not (for whatever reason); knowing it would then
> allow us to start searching for someone who could look into it.

I notified Pedro about it, he and/or I will look into it.

Simon