[Top][All Lists]

[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!


Attachment: signature.asc
Description: PGP signature

reply via email to

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