grep branch, master, updated. v2.25-36-g5a9640c

[Jim Meyering]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "grep".

The branch, master has been updated
       via  5a9640cf2a36da39abbda98a4e9aa956d3951f9f (commit)
      from  46ca6d2573dc5628589d8d2a80a41611cbf80356 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.savannah.gnu.org/cgit/grep.git/commit/?id=5a9640cf2a36da39abbda98a4e9aa956d3951f9f


commit 5a9640cf2a36da39abbda98a4e9aa956d3951f9f
Author: Jim Meyering <address@hidden>
Date:   Fri Jul 15 08:20:28 2016 -0700

    doc: omit an excess word in HACKING

diff --git a/HACKING b/HACKING
index 111870c..4791639 100644
--- a/HACKING
+++ b/HACKING
@@ -192,7 +192,7 @@ grep-specific:
 No more ChangeLog files
 =======================
 
-Do not modify any the ChangeLog files during development.  Instead,
+Do not modify the ChangeLog files during development.  Instead,
 put that information only in commit messages.  The "make dist" command
 will generate the top-level ChangeLog file from commit messages.
 As such, there are strict requirements on the form of the commit log

-----------------------------------------------------------------------

Summary of changes:
 HACKING |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
grep