Re: [PATCH] Speed up "gdb -tui" output

Eli Zaretskii
2015-02-03T18:47:15Z

> Date: Tue, 03 Feb 2015 18:52:38 +0100
> From: Pedro Alves <palves@redhat.com>
> CC: gdb-patches@sourceware.org
>
> Sorry for the radio silence; I was traveling last week.
>
> I'm working on this now.

Thank you.