From e814fc859e8feb2c7e1c94a1d8b05e8b27149e62 Mon Sep 17 00:00:00 2001
From: Scott Morrison <scott.morrison@gmail.com>
Date: Mon, 4 Mar 2024 23:59:00 +1100
Subject: [PATCH] chore: cherry-picking v4.6.1 release notes (#3592)

---
 RELEASES.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/RELEASES.md b/RELEASES.md
index 459c1757b5..ad9f25df7a 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -195,6 +195,11 @@ Lake fixes:
 * Warn on fetch cloud release failure [#3401](https://github.com/leanprover/lean4/pull/3401)
 * Cloud release trace & `lake build :release` errors [#3248](https://github.com/leanprover/lean4/pull/3248)
 
+v4.6.1
+---------
+* Backport of [#3552](https://github.com/leanprover/lean4/pull/3552) fixing a performance regression
+  in server startup.
+
 v4.6.0
 ---------