[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-dejagnu] Minor issues after merging patch "Eureka! The testsuit
From: |
Ben Elliston |
Subject: |
Re: [Bug-dejagnu] Minor issues after merging patch "Eureka! The testsuite can now test individual tools." |
Date: |
Wed, 7 Nov 2018 12:39:41 +1100 |
User-agent: |
NeoMutt/20170609 (1.8.3) |
On Tue, Nov 06, 2018 at 06:20:39PM -0600, Jacob Bachmeyer wrote:
> Can this be added to documentation somewhere, like at
> <URL:http://www.gnu.org/software/dejagnu/> in the "Request an
> Enhancement" or "Report a Bug" sections? The "Report a Bug" section
> in particular gives instructions (which should probably be amended
> to indicate that "git diff" and "git format-patch" produce
> acceptable patches) for sending patches, so it might fit well there?
> That could be helpful for others in the future.
Fixed on the DejaGnu home page. Thanks!
Ben
signature.asc
Description: PGP signature