diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index 7bac3ffbee..f90b11e916 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -1,3 +1,9 @@
+v5.3.2
+
+  * added random-generation based on define-judgment-form
+    (which allows Redex to more effectively generate things
+     like well-typed terms)
+
 v5.3.1
 
   * added optional #:lang keyword to term