From 225052d331fbbfdeae498adbd6a411768c519408 Mon Sep 17 00:00:00 2001 From: John Clements Date: Mon, 20 Jan 2025 16:43:51 -0800 Subject: [PATCH] stepper history for v8.16 --- htdp-lib/stepper/HISTORY.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/htdp-lib/stepper/HISTORY.txt b/htdp-lib/stepper/HISTORY.txt index 8535819b..4d55b650 100644 --- a/htdp-lib/stepper/HISTORY.txt +++ b/htdp-lib/stepper/HISTORY.txt @@ -1,6 +1,10 @@ Stepper ------- +Changes for 8.16: + +Bug fixes, thanks to Shu-hung You + Changes for 8.15: Bug fixes, thanks to Mike Sperber and Robby Findler