[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 -

reply via email to

[Prev in Thread] Current Thread [Next in Thread]