# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1001916456 0
# Node ID 840f0da1a0205bbf98dd70f73ed1291ca0b7ee81
# Parent  08778971ecea4bfb648f472eaeebd43c5f5450c2
*** empty log message ***

diff -r 08778971ecea -r 840f0da1a020 src/ChangeLog
--- a/src/ChangeLog	Sun Sep 30 21:55:04 2001 +0000
+++ b/src/ChangeLog	Mon Oct 01 06:07:36 2001 +0000
@@ -1,3 +1,7 @@
+2001-10-01  Richard M. Stallman  <rms@gnu.org>
+
+	* search.c (Freplace_match): Doc fix.
+
 2001-09-28  Andrew Innes  <andrewi@gnu.org>
 
 	* w32menu.c (set_frame_menubar): Take into account that