# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 979589725 0
# Node ID 6391ae41f1d0bfb27af5b9e7cd3dab26f0c32d78
# Parent  fa4ab94661f291ee4e09d662ae6b012d6850297c
*** empty log message ***

diff -r fa4ab94661f2 -r 6391ae41f1d0 src/ChangeLog
--- a/src/ChangeLog	Mon Jan 15 20:14:45 2001 +0000
+++ b/src/ChangeLog	Mon Jan 15 20:15:25 2001 +0000
@@ -1,6 +1,6 @@
 2001-01-15  Gerd Moellmann  <gerd@gnu.org>
 
-	* xterm.c (x_set_mouse_face_gc): If the last use mouse face
+	* xterm.c (x_set_mouse_face_gc): If the last used mouse face
 	has gone in the meantime, use face MOUSE_FACE_ID.
 	
 	* xterm.c (x_connection_closed) [USE_X_TOOLKIT]: If