[Bug-dejagnu] DejaGnu 1.4.1 fix

[Jakub Jelinek]

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

	Jakub