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

Tom Tromey
2019-06-24T18:54:22Z

Tom> I don't know why :( I will send the remaining patches separately.

I managed to do this, though somewhat clumsily as I forgot to use
--no-thread.

Tom