yikes, missed these stepper improvements from Shu-Hung You

jbclements · jbclements · commit 1ba2e84149df · 2025-05-08T13:53:49.000-07:00
(cherry picked from commit 2b256e6)
diff --git a/htdp-lib/stepper/HISTORY.txt b/htdp-lib/stepper/HISTORY.txt
@@ -3,7 +3,8 @@ Stepper
 
 Changes for 8.17:
 
-None.
+Repairs and improved testing around 2htdp/universe, thanks
+to Shu-hung You.
 
 Changes for 8.16:
 
