# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1219433665 0
# Node ID 73e437dedb98bd1ecd2d7eafb3faab9d591ec93e
# Parent  1e1435da09fb9d29f840e81880e130e0030bda1d
Checked mini.texi

diff -r 1e1435da09fb -r 73e437dedb98 admin/FOR-RELEASE
--- a/admin/FOR-RELEASE	Fri Aug 22 19:33:09 2008 +0000
+++ b/admin/FOR-RELEASE	Fri Aug 22 19:34:25 2008 +0000
@@ -212,7 +212,7 @@
 maintaining.texi
 major.texi
 mark.texi         -- cyd
-mini.texi
+mini.texi         -- cyd
 misc.texi
 msdog.texi
 msdog-xtra.texi