From 75f91f372c19522a645dc3e5abb8455c2edcff22 Mon Sep 17 00:00:00 2001
From: Scott Morrison <scott.morrison@gmail.com>
Date: Wed, 27 Sep 2023 18:20:48 +1000
Subject: [PATCH] chore: add release note about lake startup time (#2597)

---
 RELEASES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASES.md b/RELEASES.md
index 49f9db7c03..04401f41ab 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -13,7 +13,7 @@ v4.3.0 (development in progress)
 v4.2.0
 ---------
 
-No breaking changes.
+* Improvements to Lake startup time ([#2572](https://github.com/leanprover/lean4/pull/2572), [#2573](https://github.com/leanprover/lean4/pull/2573))
 
 v4.1.0
 ---------