update HISTORY for v8.15

(cherry picked from commit ac38ebd)
racket · Oct 19, 2024 · 455807e · 455807e
1 parent 39d9b4b
commit 455807e
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.15
+
+  no changes since 8.14
+
 v8.14
 
   * bug fix