[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-dejagnu] DejaGnu 1.4.1 fix
|
From: |
Rob Savoye |
|
Subject: |
Re: [Bug-dejagnu] DejaGnu 1.4.1 fix |
|
Date: |
Wed, 12 Sep 2001 12:07:50 -0600 |
|
User-agent: |
Mutt/1.2i |
On Wed, Sep 12, 2001 at 08:01:06PM +0200, Jakub Jelinek wrote:
> That line is not in sources dejagnu at all, so there is no need for a fix
> there (but maybe it should be updated from gnu.org repository).
All the active development and patches go into the CVS repository at
gnu.org, so what's on sources should be updated. Since I'm about to make
a few other small changes for the 1.4.2 release, you might want to wait
till those are done so you only have to do the merge once.
- rob -