From 1c847e10b4f6f8ceb20fe0cc9db4fdecd5802b1d Mon Sep 17 00:00:00 2001
From: Gerd Moellmann <gerd@gnu.org>
Date: Fri, 19 Oct 2001 11:32:28 +0000
Subject: [PATCH] *** empty log message ***

---
 admin/ChangeLog | 5 +++++
 src/ChangeLog   | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/admin/ChangeLog b/admin/ChangeLog
index 0220c552ea0..405aeda6010 100644
--- a/admin/ChangeLog
+++ b/admin/ChangeLog
@@ -1,3 +1,8 @@
+2001-10-19  Gerd Moellmann  <gerd@gnu.org>
+
+	* build-configs: Add --help option.  Add support for building
+	in arbitrary source trees.
+
 2001-09-04  Andrew Innes  <andrewi@gnu.org>
 
 	* admin/nt/makedist.bat: Remove reference to obsolete file
diff --git a/src/ChangeLog b/src/ChangeLog
index 7b6e159d61d..4289120c717 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2001-10-19  Gerd Moellmann  <gerd@gnu.org>
+
+	* xdisp.c (redisplay_internal): Don't clear echo area if the
+	mini-window is selected.
+
 2001-10-18  Ken Raeburn  <raeburn@gnu.org>
 
 	* config.in (HAVE_LIBHESIOD, HAVE_LIBK5CRYPTO): Undef these.
-- 
2.39.5