diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 6df26ae77ebf6c5fd401fbbd58d4da90f4ceef94..983c1997b76c402a2a1d853195e0453e6ec2a2a8 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-  E-ACSL       [2021-04-07] Add support for multiple binders in guarded
+                quantifications (frama-c/e-acsl#127).
 -* runtime      [2021-03-30] Fix the end address of the memory segments in the
                 RTL layouts.
 -  E-ACSL       [2021-03-25] Add support for `check` and `admit` annotations