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 da9cf47e2769053576daf1e2998a39bc9885c27d (commit)
from c72e452c5ebffb6e6d744e5f8b91ca0c212c5d7f (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=da9cf47e2769053576daf1e2998a39bc9885c27d
commit da9cf47e2769053576daf1e2998a39bc9885c27d
Author: Jim Meyering <[email protected]>
Date: Mon Oct 26 21:00:11 2015 -0700
maint: update THANKS.in
* THANKS.in: Add name+email of those who found and reported
the bug that made grep -E '^x|x$' match any "x".
diff --git a/THANKS.in b/THANKS.in
index 624478d..b86f772 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -25,12 +25,14 @@ Dave Reisner [email protected]
David Clissold [email protected]
David J MacKenzie [email protected]
David O'Brien [email protected]
+'Drake' Daham Wang [email protected]
Egmont Koblinger [email protected]
Fernando Basso [email protected]
Florian La Roche [email protected]
François Pinard [email protected]
Gerald Stoller [email protected]
Grant McDorman [email protected]
+Greg Boyd [email protected]
Greg Louis [email protected]
Guglielmo 'bond' Bondioni [email protected]
H. Merijn Brand [email protected]
-----------------------------------------------------------------------
Summary of changes:
THANKS.in | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
hooks/post-receive
--
grep
