# HG changeset patch # User Chong Yidong # Date 1237778125 0 # Node ID 6fa13effea11edc8515750f56b0648318a6b80a5 # Parent c23ee804f3aa980622e0c76a21539cee66f87890 (Re)checked mini.texi. diff -r c23ee804f3aa -r 6fa13effea11 admin/FOR-RELEASE --- a/admin/FOR-RELEASE Mon Mar 23 03:08:09 2009 +0000 +++ b/admin/FOR-RELEASE Mon Mar 23 03:15:25 2009 +0000 @@ -149,7 +149,7 @@ maintaining.texi -- cyd major.texi -- cyd mark.texi -- cyd -mini.texi +mini.texi -- cyd misc.texi msdog.texi msdog-xtra.texi