Re: patch ping

Eli Zaretskii
2016-09-27T17:46:27Z

> 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.