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

Tom Tromey
2019-06-25T13:51:47Z

Pedro> Skimmed the patches out, and nothing stood out to me. It all
Pedro> looked fine.

I'm going to check it in now.

Pedro> Thanks again for doing all this, and I have to say I'm impressed
Pedro> by the neat patch splitting.

Thanks!

Tom