Re: GDB 11 branching update (2021-06-13)

Pedro Alves
2021-07-02T15:35:05Z

On 2021-06-17 12:16 p.m., Pedro Alves wrote:
> 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.

FYI, the NEWS/docs bits are now in.