From 2740cab3fcf0a3a85d048eea0d09964e68772daf Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 26 Mar 2022 00:02:13 +0100
Subject: [PATCH] chore: update RELEASES

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

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)
 ---------