Re: [Bug-dejagnu] DejaGnu 1.4.1 fix

[Gerald Pfeifer]

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.

> I guess I should push out a 1.4.2 release with this fix in it, and a few
> others. (like the bugs in the unit.cc test case)

That would be great, thanks!  (Would you mind sending the announcement
also to address@hidden in this case?)

Gerald
-- 
Gerald "Jerry" address@hidden http://www.dbai.tuwien.ac.at/~pfeifer/