On Tuesday 14 August 2012 14:10:14 Eli Zaretskii wrote:
> > Date: Tue, 14 Aug 2012 10:34:10 -0700
> > From: Doug Evans <dje@google.com>
> > Cc: gdb-patches@sourceware.org, Eli Zaretskii <eliz@gnu.org>
> > 
> > Ok with me, but I'd wait for Eli to check too.
> > 
> > Thanks!
> 
> I'm quite sure I already did.  Mike, is that right?

i've tweaked the signal wording, but i think the latest iteration covers 
everyone's concerns, so i'll merge this and we can fight over improving it 
further if need be ;)
-mike