GDB 11 branching update (2021-06-13)

[Pedro Alves]

On 2021-06-13 3:31 p.m., Joel Brobecker wrote:

>   * [Bernd/PedroA/TomT] TUI issues from mouse-support patch
>     https://sourceware.org/pipermail/gdb-patches/2021-June/179541.html

(FWIW, this was HannesD, not Bernd)

> 
>     Under discussion, but looks like there is good progress.
>     It's a bit difficult for me to follow the discussions because
>     I don't know TUI -- would you let me know when you think
>     all blocking issues have been resolved?

I've merged the fix for this now.  I believe the issue is resolved.

I'd still like to get the NEWS and docs bits for the TUI mouse in, though.

I'll take a look at those.

Pedro Alves