1 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index c3da0195..efdbad2a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2016-08-12         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* dfa.c: Sync with GNU grep.
+
 2016-08-09         Andrew J. Schorr     <aschorr@telemetry-investments.com>
 
 	* awk.h: Add a comment explaining the NUMINT flag in more detail.