On 6/6/20 9:12 PM, Tom Tromey wrote: > This short series fixes a couple of crashes involving the TUI. LGTM. Thanks for fixing this. Pedro Alves