On Fri, Apr 09, 2010 at 04:30:57AM -0400, Mike Frysinger wrote: > Looks like when this commit was made back in 2004, it was committed > twice by two different people and no one noticed.
Actually, I was wrong and your patch is right. Applied, thanks, Ben _______________________________________________ Bug-dejagnu mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-dejagnu
