diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index d99354cf7c..5c9fbac1b6 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -1,3 +1,5 @@
+  * added pretty-print-parameters
+
   * added grammar-style and paren-style that give finer-grained control
     over the typesetting styles