diff --git a/RELEASES.md b/RELEASES.md
index 89c338ccc5..c548c87f65 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -3,6 +3,8 @@ Unreleased
 
 * [Added tutorial-like examples to our documentation](https://github.com/leanprover/lean4/tree/master/doc/examples). They will be soon rendered using LeanInk+Alectryon.
 
+* [Add cross-compiled aarch64 Linux releases](https://github.com/leanprover/lean4/pull/1066).
+
 v4.0.0-m4 (23 March 2022)
 ---------