[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-dejagnu] Minor issues after merging patch "Eureka! The testsuit
Re: [Bug-dejagnu] Minor issues after merging patch "Eureka! The testsuite can now test individual tools."
Wed, 7 Nov 2018 12:39:41 +1100
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!
Description: PGP signature