# HG changeset patch
# User Karl Berry <karl@gnu.org>
# Date 1067212902 0
# Node ID 97d0953a7a0a266151baf787aaf8081fb40b2797
# Parent  8aa98e850c63fed207802555f2637fd30f41435f
.

diff -r 8aa98e850c63 -r 97d0953a7a0a man/ChangeLog
--- a/man/ChangeLog	Mon Oct 27 00:01:25 2003 +0000
+++ b/man/ChangeLog	Mon Oct 27 00:01:42 2003 +0000
@@ -1,3 +1,8 @@
+2003-10-26  Karl Berry  <karl@gnu.org>
+
+	* info.texi (Info Search): echo area, not echo are.  From Debian
+	diff.
+
 2003-10-26  Per Abrahamsen  <abraham@dina.kvl.dk>
 
 	* widget.texi (Defining New Widgets): Document new beavior of