1 files changed, 1 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 6fa196a627e..ee84be5a83d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -2338,7 +2338,7 @@
 2012-12-13  Andreas Schwab  <schwab@suse.de>
 
         * Makefile.in (install-info): Use `${MAKE} -s' for echo-info.
-        (uninstall): Likewise.  (Bug#13143)
+        (uninstall): Likewise.  (Bug#13142)
 
 2012-12-11  Paul Eggert  <eggert@cs.ucla.edu>