update HISTORY.txt for 8.12

(cherry picked from commit 29341c5)
racket · Jan 8, 2024 · 2fa5d15 · 2fa5d15
1 parent 718c57b
commit 2fa5d15
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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
 ------------------------------