bug-dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-dejagnu] Minor issues after merging patch "Eureka! The testsuit


From: Jacob Bachmeyer
Subject: Re: [Bug-dejagnu] Minor issues after merging patch "Eureka! The testsuite can now test individual tools."
Date: Tue, 06 Nov 2018 18:20:39 -0600
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0

Ben Elliston wrote:
Generally, just paste the ChangeLog text directly into the email with
the patch following below. Don't send diffs to the ChangeLog. They
apply so rarely.

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.

(This is still on bug-dejagnu because it is a documentation bug.) :-)


-- Jacob




reply via email to

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