[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PATCH: add dejagnu(1) multi-launcher [revised]
|
From: |
Ben Elliston |
|
Subject: |
Re: PATCH: add dejagnu(1) multi-launcher [revised] |
|
Date: |
Thu, 20 Dec 2018 21:26:47 +1100 |
|
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Thu, Dec 20, 2018 at 01:05:45AM -0600, Jacob Bachmeyer wrote:
> This patch is the long-promised dejagnu(1) multi-launcher, revised
> to include also its first command "dejagnu help" in this patch to
> ensure that it works properly.
Applied. Thanks for this great work!
Cheers,
Ben
signature.asc
Description: PGP signature