*** empty log message ***

diff --git a/src/ChangeLog.unicode b/src/ChangeLog.unicode
index 6d9e014cf560f1ec639c472f84e0980087b63a2d..20b0858a0aea0731a383076ae3c2af0b56a2b42a 100644 (file)
--- a/src/ChangeLog.unicode
+++ b/src/ChangeLog.unicode
@@ -1,3 +1,8 @@
+2007-06-15  Ulrich Mueller  <ulm@gentoo.org>  (tiny change)
+
+       * Makefile.in (${lispsource}international/charprop.el): Depend on
+       temacs${EXEEXT}.
+
 2007-06-13  Jason Rumney  <jasonr@gnu.org>
 
        * w32font.c (w32font_close): Delete the GDI font object.