From 47a814f53002be4ca5448e1956e8aaad5345bc27 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Fri, 8 Oct 2010 11:52:34 +0200
Subject: [PATCH] Mention the bug number for the last change in make-dist.

---
 ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 1ed9dc2588..c25b54e853 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>
 
-- 
2.20.1