From 9af84cb54986903d5460184f6e5405d40686449e Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Fri, 5 Apr 2013 10:09:21 -0500
Subject: [PATCH] add note about define-judgement-form fix

---
 doc/release-notes/redex/HISTORY.txt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index 936d0420cc..48f82f706b 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -15,6 +15,12 @@ v5.3.4
     contracts that have to relate different arguments to a
     metafunction.
 
+  * Fixed the way random generation for define-judgment-form works so
+    that it properly handles metafunctions (i.e., it properly takes
+    into account that previous patterns in a metafunction must not
+    match when generating a particular clause)
+
+
 v5.3.3
 
 No changes