Checked mini.texi

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 4bcb8e4373c8e4c6c884ff00c4f2c1273ec85438..9f86ba4844c4888cf9dea0cd80bc9eb41a7218ce 100644 (file)
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -212,7 +212,7 @@ relevant after the NS merge.
 maintaining.texi
 major.texi
 mark.texi         -- cyd
-mini.texi
+mini.texi         -- cyd
 misc.texi
 msdog.texi
 msdog-xtra.texi