# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1036997794 0
# Node ID e62f3275cb5eb55f2a72f93c2651deda5eb5bef7
# Parent  b6f8e90bc592fb64b344f997ede3515ab51d3811
*** empty log message ***

diff -r b6f8e90bc592 -r e62f3275cb5e man/ChangeLog
--- a/man/ChangeLog	Sun Nov 10 04:20:06 2002 +0000
+++ b/man/ChangeLog	Mon Nov 11 06:56:34 2002 +0000
@@ -1,4 +1,4 @@
-2002-11-05    <karl@gnu.org>
+2002-11-05  Karl Berry  <karl@gnu.org>
 
 	* info.texi (Info-fontify): reorder face list to avoid bad line
 	breaks.