From 38acb4b9a93b6fe0745075a960a86348d72e276f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 19 Jul 2010 12:53:53 -0500 Subject: [PATCH] fixed version number (cherry picked from commit df738b85632092b52bb1543c22d352cdc0bfcdfc) --- 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