grep branch, master, updated. v2.25-7-gb6e5c5f

[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  b6e5c5f50037bf97c81b95d95c51f3f34fee2ec7 (commit)
      from  2e0640374ba0c1eaa0ef6258a6c2db747a962643 (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=b6e5c5f50037bf97c81b95d95c51f3f34fee2ec7


commit b6e5c5f50037bf97c81b95d95c51f3f34fee2ec7
Author: Jim Meyering <address@hidden>
Date:   Mon May 2 08:57:49 2016 -0700

    maint: avoid NEWS syntax-check failure
    
    * NEWS: Move the mention of the /dev/null speed-up from the
    block for 2.25 into the current, in-preparation block.

diff --git a/NEWS b/NEWS
index 5a2225a..cb035dc 100644
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,10 @@ GNU grep NEWS                                    -*- outline 
-*-
 
 * Noteworthy changes in release ?.? (????-??-??) [?]
 
+** Improvements
+
+  grep can be much faster now when standard output is /dev/null.
+
 
 * Noteworthy changes in release 2.25 (2016-04-21) [stable]
 
@@ -21,8 +25,6 @@ GNU grep NEWS                                    -*- outline 
-*-
 
 ** Improvements
 
-  grep can be much faster now when standard output is /dev/null.
-
   grep now outputs details more consistently when reporting a write error.
   E.g., "grep: write error: No space left on device" rather than just
   "grep: write error".

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

Summary of changes:
 NEWS |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
grep