From 846d5cff7e9fd0dca4e6915de2584714e6d9d368 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 19 May 2021 13:24:50 +0200
Subject: [PATCH] add Iris 3.4 release date

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d454749dc..58ea922eb 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -80,7 +80,7 @@ s/\bbij_both_frac_valid\b/bij_both_dfrac_valid/g
 EOF
 ```
 
-## Iris 3.4.0
+## Iris 3.4.0 (released 2021-02-16)
 
 The highlights and most notable changes of this release are as follows:
 * Coq 8.13 is now supported; the old Coq 8.9 and Coq 8.10 are not supported any
-- 
GitLab