From 2fa5d15c9a65515da9fbcd19959d6ca41995eab2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 8 Jan 2024 14:31:15 -0600 Subject: [PATCH] update HISTORY.txt for 8.12 (cherry picked from commit 29341c518d37b2b075cdb1d0ea05136785f42d2b) --- drracket/drracket/HISTORY.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/drracket/drracket/HISTORY.txt b/drracket/drracket/HISTORY.txt index 298c043a6..d08f25705 100644 --- a/drracket/drracket/HISTORY.txt +++ b/drracket/drracket/HISTORY.txt @@ -1,3 +1,9 @@ +------------------------------ + Version 8.12 +------------------------------ + + . minor improvements and bug fixes + ------------------------------ Version 8.11 ------------------------------