diff --git a/RELEASES.md b/RELEASES.md
index c9fc9627c7b8..ec519a56faae 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -11,6 +11,11 @@ of each version.
 v4.4.0 (development in progress)
 ---------
 
+**Lake:**
+
+* Update manifest format to version 7 (see [lean4#2801](https://github.com/leanprover/lean4/pull/2801) for details on the changes).
+* Deprecate the `manifestFile` field of a package configuration.
+
 v4.3.0
 ---------