1 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 2c0090ad..8f632e5a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2016-10-13         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* dfa.c: Sync with GNULIB.
+
 2016-10-12         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* awkgram.y (make_profile_number): Allocate an extra byte for the