diff --git a/CHANGELOG.md b/CHANGELOG.md index b2bf615c892016861f04cac239e3708d832d7162..fcadc84c4ed5bc856b31a44a649c8273db0b7037 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: