Patch ping

Paul Brook
2004-05-27T13:07:00Z

I submitted the following patch a couple of weeks a go and it seems to have
slipped past without review...

http://sources.redhat.com/ml/gdb-patches/2004-05/msg00351.html

Paul