Re: Patch ping

Jim Blandy
2004-05-28T23:37:00Z

Paul Brook <paul@codesourcery.com> writes:

> 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

Sorry for the delay. This looks fine; please go ahead and commit it.
Thanks!