patch ping

[Eli Zaretskii]

> From: Tom Tromey <tom@tromey.com>
> Cc: gdb-patches@sourceware.org,  tmielczarek@mozilla.com
> Date: Tue, 27 Sep 2016 10:44:25 -0600
> 
> >>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:
> 
> Tom> I was talking with a fellow Mozillian today and found out that this
> Tom> patch was never reviewed:
> 
> Tom> https://sourceware.org/ml/gdb-patches/2015-05/msg00132.html
> 
> Tom> Ping.
> 
> Ping.

The documentation part is OK, but please don't use "path" to mean a
file name, GNU coding standards frown on that.