From 3fd5a5d024e2293445f38dd883656a61362313ed Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 14 Sep 2020 19:26:02 +0200
Subject: [PATCH] add missing changelog entry

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d82399af9..f0d389a1e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,8 @@ lemma.
 
 ## Iris master
 
+With this release, we dropped support for Coq 8.9.
+
 **Changes in `algebra`:**
 
 * Rename `agree_op_inv'` to `to_agree_op_inv`,
-- 
GitLab