[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: PATCH: add "dejagnu report card" command [revised] [status?]

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: Gecko/20090807 MultiZilla/ SeaMonkey/1.1.17 Mnenhy/

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 (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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]