# HG changeset patch
# User Pavel Jan���k <Pavel@Janik.cz>
# Date 1010916977 0
# Node ID e7fb07279f050450f3493d47ae273be36b0fffbd
# Parent  8d5458375774bc706c7f2b4a9353f20e78e9c9ee
*** empty log message ***

diff -r 8d5458375774 -r e7fb07279f05 src/ChangeLog
--- a/src/ChangeLog	Sun Jan 13 10:14:47 2002 +0000
+++ b/src/ChangeLog	Sun Jan 13 10:16:17 2002 +0000
@@ -1,3 +1,8 @@
+2002-01-13  Pavel Jan,Bm(Bk  <Pavel@Janik.cz>
+
+	* keyboard.c (read_key_sequence): Remove unused variable
+	`extra_maps'.
+
 2002-01-13  Andreas Schwab  <schwab@suse.de>
 
 	* xterm.c (x_load_font): Never set fonts_changed_p to zero.