diff --git a/CHANGELOG.md b/CHANGELOG.md
index 55208174eb36c1f0cf309b13c4042bc2e75c9b14..a6dd68403770af80409ca5048d4e468df58d0f22 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -19,6 +19,8 @@ lemma.
    to occur when the conclusion contains variables that are not in scope of the
    evar, thus blocking the default behavior of instantiating the premise with
    the conclusion. The old behavior can be emulated with`iExFalso. iExact "H".`
+* `iInduction` now supports induction schemes that involve `Forall` and
+  `Forall2` (for example, for trees with finite branching).
 
 ## Iris 3.6.0 (2022-01-22)