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

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