diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index 69fc6b919c..7bac3ffbee 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -6,6 +6,10 @@ v5.3.1
 
   * added judgment-form-cases
 
+  * adjust define-judgment-form typesetting so that it uses
+    the line breaks in a premise to determine how to line
+    break the typeset version
+
 v5.3
 
   * added the amb tutorial.