update HISTORY for v8.12

(cherry picked from commit 813cb08)
racket · Jan 8, 2024 · 8f2c2ba · 8f2c2ba
1 parent 1b7f7b3
commit 8f2c2ba
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/redex-lib/redex/HISTORY.txt b/redex-lib/redex/HISTORY.txt
@@ -1,3 +1,7 @@
+v8.12
+
+  * documentation improvements
+
 v8.11
 
   * added `redex-define` and `term-define`, thanks to Shu-Hung You