grep branch, master, updated. v3.1-11-gdbc56ef

[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  dbc56ef15883f9a5f6340833ed0fc5d53061771c (commit)
      from  dbf6efe68c6d97a66ad20a4d5d2935a520bf4bd7 (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=dbc56ef15883f9a5f6340833ed0fc5d53061771c


commit dbc56ef15883f9a5f6340833ed0fc5d53061771c
Author: Paul Eggert <address@hidden>
Date:   Mon Aug 21 12:45:24 2017 -0700

    build: update gnulib submodule to latest

diff --git a/gnulib b/gnulib
index dd76853..efec517 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit dd76853a033aa68be7c6a32b0f8636012962632f
+Subproject commit efec5175a65f44f7509e58443bce98efa0916ad2

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

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


hooks/post-receive
-- 
grep