add version number to release notes
please merge to release branch
(cherry picked from commit f7f3971d15
)
This commit is contained in:
parent
631fed5386
commit
8ccff338fd
|
@ -1,3 +1,7 @@
|
|||
------------------------------
|
||||
Version 5.1.2
|
||||
------------------------------
|
||||
|
||||
. The EoPL language is no longer available via the Language
|
||||
dialog in DrRacket; use
|
||||
|
||||
|
@ -5,6 +9,8 @@
|
|||
|
||||
and the 'language declared in the source' language in DrRacket.
|
||||
|
||||
. Minor bug fixes
|
||||
|
||||
------------------------------
|
||||
Version 5.1.1
|
||||
------------------------------
|
||||
|
|
Loading…
Reference in New Issue
Block a user