diff --git a/ChangeLog b/ChangeLog
index 1ed9dc25885..c25b54e853f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,6 @@
 2010-10-08  Eli Zaretskii  <eliz@gnu.org>
 
-	* make-dist: Don't distribute src/buildobj.h.
+	* make-dist: Don't distribute src/buildobj.h.  (Bug#7167)
 
 2010-06-23  Glenn Morris  <rgm@gnu.org>