update racket/HISTORY.txt for 7.2

Please merge to v7.2
This commit is contained in:
Matthew Flatt 2019-01-24 08:26:58 -07:00
parent 0ae5ff7c1e
commit 74387d683b

View File

@ -1,3 +1,6 @@
Version 7.2, January 2019
Bug repairs and other changes noted in the documentation
Version 7.1, October 2018 Version 7.1, October 2018
Bug repairs and other changes noted in the documentation Bug repairs and other changes noted in the documentation