GNU bug report logs - #67391
dejagnu report card and multiple rows

Previous Next

Package: dejagnu;

Reported by: Tom Tromey <tom <at> tromey.com>

Date: Wed, 22 Nov 2023 23:53:01 UTC

Severity: normal

Done: Jacob Bachmeyer <jcb62281 <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #13 received at 67391-done <at> debbugs.gnu.org (full text, mbox):

From: Jacob Bachmeyer <jcb62281 <at> gmail.com>
To: Tom Tromey <tom <at> tromey.com>
Cc: 67391-done <at> debbugs.gnu.org
Subject: Re: bug#67391: dejagnu report card and multiple rows
Date: Tue, 12 Dec 2023 20:40:20 -0600

The documentation patch on the PR67391 branch has been merged to master, 
explaining the totals line at the end of "dejagnu report card" output.  
Closing issue.


-- Jacob
This bug report was last modified 1 year and 220 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.