Re: [DejaGnu] Fwd: PATCH to dejagnu/lib/remote.exp:check_for_board_status

[Jason Merrill]

>>>>> "Rob" == Rob Savoye <address@hidden> writes:

> On Sun, Apr 14, 2002 at 10:31:27PM +0100, Jason Merrill wrote:
>> I neglected to send this to the dejagnu list.  Is this the right address
>> for patches?  http://www.gnu.org/software/dejagnu/ talks about what to do
>> if you find a bug, or to request an enhancement, but not how to contribute.
 
>    Maybe I should add some clarification to the web page. You can send them
> to this address, or address@hidden At least that's what most folks do.
> If you already have an account on savannah for GCC CVS access, you then also
> have write access by default to the DejaGnu CVS repository.

I don't have a savannah account, though I suppose I ought to get one set
up; the GCC CVS repository is on gcc.gnu.org.  Would you mind checking the
patch in for me?

Thanks,
Jason