update HISTORY for 8.13

racket · Apr 23, 2024 · 7899052 · 7899052
1 parent c1cb520
commit 7899052
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.13
+------------------------------
+
+   . bug fixes
+
 ------------------------------
        Version 8.12
 ------------------------------