doc: update changelog

bollu · Nov 24, 2022 · 75f8ebd · 75f8ebd
1 parent 6225a3e
commit 75f8ebd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/RELEASES.md b/RELEASES.md
@@ -1,6 +1,8 @@
 Unreleased
 ---------
 
+* [Update Lake to latest prerelease](https://github.com/leanprover/lean4/pull/1879).
+
 * [Introduce parser memoization to avoid exponentional behavior](https://github.com/leanprover/lean4/pull/1799).
 
 * [feat: allow `doSeq` in `let x <- e | seq`](https://github.com/leanprover/lean4/pull/1809).