1 files changed, 6 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 3e8f30049b0..b3d3958853b 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2013-02-11  Paul Eggert  <eggert@cs.ucla.edu>
+        Clean up read_key_sequence a tiny bit more.
+        * keyboard.c (read_char_x_menu_prompt) [HAVE_MENUS]:
+        (read_key_sequence): Remove unused locals.
 2013-02-11  Stefan Monnier  <monnier@iro.umontreal.ca>
        Clean up read_key_sequence a bit; reread active keymaps after first event.

diff --git a/src/ChangeLog b/src/ChangeLog index 3e8f30049b0..b3d3958853b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog
@@ -1,3 +1,9 @@
		1	2013-02-11 Paul Eggert <eggert@cs.ucla.edu>
		2
		3	Clean up read_key_sequence a tiny bit more.
		4	* keyboard.c (read_char_x_menu_prompt) [HAVE_MENUS]:
		5	(read_key_sequence): Remove unused locals.
		6
1	2013-02-11 Stefan Monnier <monnier@iro.umontreal.ca>	7	2013-02-11 Stefan Monnier <monnier@iro.umontreal.ca>
2		8
3	Clean up read_key_sequence a bit; reread active keymaps after first event.	9	Clean up read_key_sequence a bit; reread active keymaps after first event.