diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index c912b0c085..41ca61834e 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -2,6 +2,8 @@ v4.1.5
 
   * renamed test--> to test-->>
 
+  * added #:cycles-ok flag to (what is now called) test-->>.
+
   * define-metafunction and reduction-relation now work better with
     Check Syntax, as