From mboxrd@z Thu Jan  1 00:00:00 1970
From: Jim Blandy <jimb@redhat.com>
To: Paul Brook <paul@codesourcery.com>
Cc: gdb-patches@sources.redhat.com
Subject: Re: Patch ping
Date: Fri, 28 May 2004 23:37:00 -0000
Message-id: <vt2hdu03z02.fsf@zenia.home>
References: <200405271407.30447.paul@codesourcery.com>
X-SW-Source: 2004-05/msg00776.html

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!