From d2d5bc48cc1d18de40de8dda5b626b16503840cc Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 30 Jan 2025 14:07:41 +0100
Subject: [PATCH] update changelog

---
 CHANGELOG.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 6db0587..6dc81f3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,7 +4,8 @@
   * Toolchain references are now always resolved to a fixed `<owner>/<repo>:<version>` format before
     downloading, resolving the issue of having the same toolchain installed as e.g. `stable`,
     `v4.9.0`, and `leanprover/lean4:v4.9.0` and ensuring that e.g. `stable` has the same meaning for
-    everyone at a given point in time.
+    everyone at a given point in time. Elan will automatically uninstall toolchains under
+    now-unreachable names.
   * Accordingly, `elan update` has been removed as updates of non-fixed toolchains are now implicit.
   * This also fixes `lake +stable new ...` putting an unadvisable `leanprover/lean4:stable`
     reference in `lean-toolchain`.