From efb686bafb345c3ae821e28296be18f2e1f58ec9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 5 Nov 2021 16:26:01 -0400
Subject: [PATCH] finalize release

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b2bf615c8..fcadc84c4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,7 +5,7 @@ lemma.
 
 ## Iris master
 
-## Iris 3.5.0
+## Iris 3.5.0 (2021-11-05)
 
 The highlights and most notable changes of this release are:
 
-- 
GitLab