grep branch, master, updated. v3.1-13-g01fc34d

[Paul Eggert]

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  01fc34d2f121fb36bebe385ed9779e6b052f74b5 (commit)
      from  672aa245f0d76c6ef692752365d2771211535e71 (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=01fc34d2f121fb36bebe385ed9779e6b052f74b5


commit 01fc34d2f121fb36bebe385ed9779e6b052f74b5
Author: Paul Eggert <address@hidden>
Date:   Fri Nov 3 01:39:55 2017 -0700

    grep: omit a dup 'const'
    
    * src/grep.c (matchers): Omit duplicate 'const'.

diff --git a/src/grep.c b/src/grep.c
index 2277a60..ad5cfa2 100644
--- a/src/grep.c
+++ b/src/grep.c
@@ -2005,7 +2005,7 @@ if any error occurs and -q is not given, the exit status 
is 2.\n"));
 
 static struct
 {
-  char const name[12];
+  char name[12];
   int syntax; /* used if compile == GEAcompile */
   compile_fp_t compile;
   execute_fp_t execute;

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

Summary of changes:
 src/grep.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
grep