bug#67391: dejagnu report card and multiple rows

[Jacob Bachmeyer]

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



_______________________________________________
Bug-dejagnu mailing list
Bug-dejagnu@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-dejagnu