# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1022858012 0
# Node ID 0d76cec6c7773012356dc85cb1ac7e5915ae5609
# Parent  aaff735de38ef64931908c0b1ad5fd36fc790f1c
*** empty log message ***

diff -r aaff735de38e -r 0d76cec6c777 ChangeLog
--- a/ChangeLog	Fri May 31 15:13:10 2002 +0000
+++ b/ChangeLog	Fri May 31 15:13:32 2002 +0000
@@ -1,3 +1,7 @@
+2002-05-31  Eli Zaretskii  <eliz@is.elta.co.il>
+
+	* config.bat: Handle the case when lispintro is truncated to lispintr.
+
 2002-05-26  Paul Eggert  <eggert@twinsun.com>
 
 	* config.guess, config.sub: Updated from master source.