diff --git a/RELEASES.md b/RELEASES.md
index 638612024d..4f48af5b82 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -1,14 +1,14 @@
 Unreleased
 ---------
 
+* Update Lake to latest prerelease.
+
 * [Make go-to-definition on a typeclass projection application go to the instance(s)](https://github.com/leanprover/lean4/pull/1767).
 
 * [Include timings in trace messages when `profiler` is true](https://github.com/leanprover/lean4/pull/1995).
 
 * [Pretty-print signatures in hover and `#check <ident>`](https://github.com/leanprover/lean4/pull/1943).
 
-* [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).
diff --git a/src/lake b/src/lake
index d0b530530f..db2c6a6707 160000
--- a/src/lake
+++ b/src/lake
@@ -1 +1 @@
-Subproject commit d0b530530f14dde97a547b03abf87eee06360d60
+Subproject commit db2c6a6707dcb58574884de512c2ab9bfc5ea3fc