1 files changed, 1 insertions, 1 deletions

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 27404cbd20c..115037f372b 100644
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -100,7 +100,7 @@ lispref/streams.texi	 "Luc Teirlinck"   Chong Yidong
 lispref/strings.texi     "Luc Teirlinck"   Chong Yidong
 lispref/symbols.texi     "Luc Teirlinck"   Chong Yidong
 lispref/syntax.texi      "Luc Teirlinck"   Chong Yidong
-lispref/text.texi        Chong Yidong
+lispref/text.texi        Chong Yidong      (double-checked)
 lispref/tips.texi        "Luc Teirlinck"   Chong Yidong
 lispref/variables.texi   "Luc Teirlinck"   Chong Yidong
 lispref/windows.texi     "Luc Teirlinck"   Chong Yidong