stepper history update for 8.15

(cherry picked from commit 996d57f)
racket · Oct 20, 2024 · 8118cfe · 8118cfe
1 parent d9f49ec
commit 8118cfe
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/htdp-lib/stepper/HISTORY.txt b/htdp-lib/stepper/HISTORY.txt
@@ -1,6 +1,10 @@
 Stepper
 -------
 
+Changes for 8.15:
+
+Bug fixes, thanks to Mike Sperber and Robby Findler
+
 Changes for 8.14:
 
 None.