From aa645e9650a03c2e9fba1bc7cf4f3576d870ae5f Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 24 Jul 2012 23:28:29 -0500
Subject: [PATCH] brought up to date with version number

merge to release branch, please
---
 doc/release-notes/redex/HISTORY.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index e52c2539e8..75db8643b5 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -1,4 +1,4 @@
-v5.2.2
+v5.3
 
   * added the amb tutorial.