doc: changelog

leanprover · Apr 24, 2023 · 57ff32e · 57ff32e
1 parent eb39aae
commit 57ff32e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# Unreleased
+
+- Avoid setting `(DY)LD_LIBRARY_PATH` (#90)
+
 # 1.4.2 - 2022-09-13
 
 - Fix downloading Lean releases again