GDB 10 branching - 2020-06-27 Update

[Joel Brobecker]

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

-- 
Joel