diff --git a/Changelog b/Changelog
index 10062ae0ed8c64d8e4d5a96e8b7c20607c9b4da9..b9a336959a4b9b337e316e7c96e2bae842d4384a 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,9 @@
 Open Source Release <next-release>
 ##################################
 
+-   Eva       [2020/03/17] Supports the ACSL extended quantifiers \min and \max.
+-   Eva       [2020/03/17] deprecate options -eva-*-domain in favor of
+              -eva-domains
 -   ACSL      [2020/03/04] Make conversion from C ptr to logic array explicit
 -   Eva       [2020/03/03] Evaluates the logic predicate memchr_off, used in
               Frama-C libc specifications.