bug-dejagnu
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#67391: dejagnu report card and multiple rows

From: Jacob Bachmeyer
Subject: bug#67391: dejagnu report card and multiple rows
Date: Tue, 12 Dec 2023 20:40:20 -0600
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0
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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]