Patch ping

Tom Tromey
2002-01-25T01:25:39Z

I haven't seen any response to this patch:

http://sources.redhat.com/ml/gdb-patches/2002-01/msg00080.html

I submitted this Jan 5.

Tom