From df738b85632092b52bb1543c22d352cdc0bfcdfc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 19 Jul 2010 12:53:53 -0500 Subject: [PATCH] fixed version number --- doc/release-notes/drracket/HISTORY.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/release-notes/drracket/HISTORY.txt b/doc/release-notes/drracket/HISTORY.txt index 7c2f0dc03f..ad3711feff 100644 --- a/doc/release-notes/drracket/HISTORY.txt +++ b/doc/release-notes/drracket/HISTORY.txt @@ -1,5 +1,5 @@ ------------------------------ - Version 5.1 + Version 5.0.1 ------------------------------ . Check Syntax now reports obligation information