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

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