fixed version number

(cherry picked from commit df738b8563)
2010-07-19 12:53:53 -05:00 · 2010-07-19 12:53:53 -05:00 · 38acb4b9a9
commit 38acb4b9a9
parent 43bdcc3b1e
1 changed files with 1 additions and 1 deletions
--- 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