[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-dejagnu] DejaGnu 1.4.1 fix

From: Jakub Jelinek
Subject: Re: [Bug-dejagnu] DejaGnu 1.4.1 fix
Date: Wed, 12 Sep 2001 20:01:06 +0200

On Wed, Sep 12, 2001 at 07:54:45PM +0200, Gerald Pfeifer wrote:
> On Wed, 12 Sep 2001, Rob Savoye wrote:
> > Which CVS sources ? This has been fixed for ages in the official CVS
> > repository at gnu.org. Maybe it's just the one at sources.redhat.com that
> > is missing this fix.
> Probably, as far as I understood Jakub, yes.

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).


reply via email to

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