On Fri, Jun 06, 2003 at 04:49:39PM +0100, Nick Clifton wrote: > Hi Daniel, > > > The sources.redhat.com copy of dejagnu is slightly pre-1.4.3 and has > > some serious bogons in it... someone really ought to merge in a more > > recent DejaGNU. > > So - are you volunteering ? :-) > Please make sure all the bugs I reported and fixed are gone. H.J.