Subject: bug#13845: 24.3.50; gud commands stop responding when using gdb-mi

From: Glenn Morris <[email-masked]>
Date: Tue, 14 May 2013 15:23:13 -0400

Jean-Philippe Gravel wrote:

>> Thank's for the review.  I will make the correction you propose and go
>> ahead with the commit.
>
> Done.

Thanks. As final step, please close this report, by sending a mail to
13845-done@debbugs.