# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 988209392 0
# Node ID 60c6feb4c274f34ebe38970d98b4798a30dcd75f
# Parent  a5f0e09ecc678f5d05a77dd39b25960d73ec58da
*** empty log message ***

diff -r a5f0e09ecc67 -r 60c6feb4c274 src/ChangeLog
--- a/src/ChangeLog	Wed Apr 25 14:36:03 2001 +0000
+++ b/src/ChangeLog	Wed Apr 25 14:36:32 2001 +0000
@@ -1,5 +1,7 @@
 2001-04-25  Gerd Moellmann  <gerd@gnu.org>
 
+	* keyboard.c (command_loop_1): Redo change of 2001-03-12.
+
 	* xdisp.c (try_window_id): Fix a case where window_end_pos
 	and window_end_bytepos were not adjusted.