chore: changelog

Kha · Kha · commit 1ed65e91c180 · 2025-05-26T10:58:03.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# Unreleased
+
+- Ignore errors when writing to `.elan/known-projects`, e.g. when it is read-only.
+
 # 4.1.1 - 2025-04-30
 
 - Fix installing from `leanprover/lean4-pr-releases`, which are not part of release.lean-lang.org.
