Patch Pings

[Eli Zaretskii]

> From: Tom Tromey <tom@tromey.com>
> CC: Eli Zaretskii <eliz@gnu.org>
> Date: Tue, 12 Jul 2016 12:27:34 -0600
> 
> Eli, CCing you for this patch, which needs a doc review:
> 
> https://sourceware.org/ml/gdb-patches/2016-06/msg00395.html
> 
> 
> Previous ping was here:
> 
> https://sourceware.org/ml/gdb-patches/2016-06/msg00407.html

Sorry about that.  The documentation part of that patch is OK.

Thanks.