From 74387d683b8c1ca6e6ee4ed89d03cbb68c86aa6a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 24 Jan 2019 08:26:58 -0700 Subject: [PATCH] update racket/HISTORY.txt for 7.2 Please merge to v7.2 --- racket/collects/racket/HISTORY.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/racket/collects/racket/HISTORY.txt b/racket/collects/racket/HISTORY.txt index 834a9ff4ed..c062a83b95 100644 --- a/racket/collects/racket/HISTORY.txt +++ b/racket/collects/racket/HISTORY.txt @@ -1,3 +1,6 @@ +Version 7.2, January 2019 +Bug repairs and other changes noted in the documentation + Version 7.1, October 2018 Bug repairs and other changes noted in the documentation