[0/2] Fix two TUI crashes

Message ID 20200606201301.19145-1-tom@tromey.com
Headers show
Series
  • Fix two TUI crashes
Related show

Message

Tom Tromey June 6, 2020, 8:12 p.m.
This short series fixes a couple of crashes involving the TUI.

Tom

Comments

Eli Zaretskii via Gdb-patches June 16, 2020, 3:54 p.m. | #1
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