diff --git a/CHANGELOG.md b/CHANGELOG.md
index d454749dc69f88396aa1c9125b1794155ebcf072..58ea922ebbcd33b02f3567b1f39378c649d50500 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