Re: Minor issues after merging patch "Eureka! The testsuite can now test individual tools."

Ben Elliston <[email protected]> Wed, 7 Nov 2018 12:39:41 +1100

Newsgroups	gmane.comp.sysutils.dejagnu.bugs
Message-ID	<[email protected]>

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

_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu

signature.asc (application/pgp-signature, 833 B)