Re: [PATCH 00/66] Clean up the TUI

Pedro Alves
2019-06-24T17:46:32Z

On 6/24/19 5:47 PM, Tom Tromey wrote:

> Pedro> If you have this on a branch, I volunteer to test a bit.
>
> In my github, branch submit/tui-rewrite.

I played a little, and didn't spot any behavior change so far.

Thanks,
Pedro Alves