# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1244696992 0
# Node ID 334958dcbb39137e2260224cf5088fb030b65db3
# Parent  52c7aa9ce937df0a14b8949845fa73ca4d74b1f7
Mark tiny change.

diff -r 52c7aa9ce937 -r 334958dcbb39 src/ChangeLog
--- a/src/ChangeLog	Thu Jun 11 02:34:57 2009 +0000
+++ b/src/ChangeLog	Thu Jun 11 05:09:52 2009 +0000
@@ -77,7 +77,7 @@
 	* nsterm.m (ns_init_paths): Append path separator to INFOPATH
 	variable.
 
-2009-06-08  Wolfgang Lux  <wolfgang.lux@gmail.com>
+2009-06-08  Wolfgang Lux  <wolfgang.lux@gmail.com>  (tiny change)
 
 	* keyboard.c (kbd_buffer_get_event): Null-check used_mouse_menu.