diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 3f34f352824..853fdc9d3bf 100644
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -2,9 +2,6 @@ Tasks needed before the next release.
 
 * TO BE DONE SHORTLY BEFORE RELEASE
 
-** `undo-ask-before-discard', currently set to t for debugging purposes
-has to be set to nil: when t, it can leak memory and cause other problems.
-
 ** Update release dates of manuals.
 
 ** Get rid of overfull and underfull boxes in manuals.