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
_______________________________________________ Bug-dejagnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-dejagnu
