# HG changeset patch # User Chong Yidong # Date 1237085306 0 # Node ID 19d1ace1f9ebfb3815aec06a376c7324bd0f4264 # Parent f4063dcd103bf3d883ad6e749fbae4199bd5c793 mini.texi needs to be rechecked. diff -r f4063dcd103b -r 19d1ace1f9eb admin/FOR-RELEASE --- a/admin/FOR-RELEASE Sun Mar 15 02:31:45 2009 +0000 +++ b/admin/FOR-RELEASE Sun Mar 15 02:48:26 2009 +0000 @@ -149,7 +149,7 @@ maintaining.texi -- cyd major.texi -- cyd mark.texi -- cyd -mini.texi -- cyd +mini.texi misc.texi msdog.texi msdog-xtra.texi