doc: update changelog

leanprover · Sep 8, 2023 · bf2a9fc · bf2a9fc
1 parent eee7d07
commit bf2a9fc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# Unreleased
+
+- Default to stable toolchain again in time for first Lean 4 stable release (#104)
+
 # 2.0.1 - 2023-07-24
 
 - Fix download progress display on Windows (#101)