[pushed] Re: [PATCH v3 00/34] Towards great frontend GDB consoles

Pedro Alves
2016-06-21T00:23:23Z

FYI,

On 05/06/2016 01:34 PM, Pedro Alves wrote:

> This series provides a way to for frontends's GDB console to be on par
> with gdb's native console running on a terminal.
>

I've pushed this to master now.

Thanks,
Pedro Alves