# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1228235531 0
# Node ID 821fb85ac9b10b8b4f02cbd58cadee3ec882e50c
# Parent  47671319c8600cc2455b7e32bbc9efd8ae70e815
* keyboard.c (timer_check): Revert last change.

diff -r 47671319c860 -r 821fb85ac9b1 src/ChangeLog
--- a/src/ChangeLog	Tue Dec 02 14:03:27 2008 +0000
+++ b/src/ChangeLog	Tue Dec 02 16:32:11 2008 +0000
@@ -1,3 +1,7 @@
+2008-12-02  Chong Yidong  <cyd@stupidchicken.com>
+
+	* keyboard.c (timer_check): Revert last change.
+
 2008-12-02  Juanma Barranquero  <lekktu@gmail.com>
 
 	* makefile.w32-in ($(BLD)/w32console.$(O)): Fix silly, silly typo.