diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 1ef3673d4e0349d506407602f7ae5da12c76a8b9..a7d1dbbfb07407b686e32cb0f3ba892df737ac95 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-03-25] Add support for `check` and `admit` annotations
+                (frama-c/e-acsl#142).
 -* E-ACSL       [2021-03-25] Fix wrong computation of the base pointer when
                 calling \valid predicate leading to undetected array overflows.
 -* E-ACSL       [2021-02-24] Fix crash when running another analysis after