diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index 8ff8847498..db5386cac4 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -2,6 +2,10 @@ v4.2.1
 
   * added 'define-relation' 
 
+  * relaxed the restrictions on metafunctions so that multiple
+    pattern matches are allowed, as long as the right-hand side
+    has the same value for each different pattern binding
+
 v4.2
 
   * minor bug fixes