diff --git a/CHANGELOG.md b/CHANGELOG.md
index d82399af967af1fd12755111020d0da7bea20bc4..f0d389a1eeb373982dc6427a623083c9a093d89e 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`,