diff --git a/ChangeLog b/ChangeLog
index bd087744..99775675 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2003-01-08  Paul Eggert  <eggert@twinsun.com>
+
+	* Makefile.maint (WGETFLAGS):
+	New macro, containing "-C off" to disable proxy caches.
+	All uses of $(WGET) changed to $(WGET) $(WGETFLAGS).
+	(rel-check): Use $(WGET) instead of wget.
+
 2003-01-06  Paul Eggert  <eggert@twinsun.com>
 
 	* doc/bison.texinfo (Generalized LR Parsing): Add a reference to