From 578adcd7f047c4879f144614a114fb212916bd40 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 7 Aug 2022 09:51:35 -0700
Subject: [PATCH] chore: release date for m5

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

diff --git a/RELEASES.md b/RELEASES.md
index 8fe4347579..4e57e614c7 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -1,4 +1,4 @@
-Unreleased
+v4.0.0-m5 (07 August 2022)
 ---------
 
 * Update Lake to v4.0.0. See the [v4.0.0 release notes](https://github.com/leanprover/lake/releases/tag/v4.0.0) for detailed changes.