|
| From: | Jacob Bachmeyer |
| Subject: | Re: PATCH: add "dejagnu report card" command [revised] [status?] |
| Date: | Wed, 09 Jan 2019 16:47:11 -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 |
Ben Elliston wrote:I write today after the mailing list has been quiet for a week to inquire about the progress of review on the patch adding the "dejagnu report card" command and its supplemental patch further improving Makefile.am. (The supplemental patch was a separate patch to ease reviewing that particular change by clearly separating it from the rest of the patch.)
So, how is the patch review going? :-) -- Jacob
| [Prev in Thread] | Current Thread | [Next in Thread] |