diff --git a/RELEASES.md b/RELEASES.md index 7ea92ef0ce3..094373417ac 100644 --- 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).