diff --git a/Changelog b/Changelog
index 1d2fb8f1988943dcc2e9dfb9eabd2bc27cdc2b66..5f91ac2bd11f06989514a28f18bf0f169a0bda61 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,10 @@
 Open Source Release <next-release>
 ##################################
 
+-   Eva       [2020/04/06] New option -eva-domains-function to enable domains
+              only on given functions. Argument <d:f> enables the domain [d]
+              on function [f], while <d:f+> also enables it on all functions
+              called from [f]. <d:f-> disables [d] from function [f].
 -   Eva       [2020/04/03] New experimental builtins for dynamic allocation
               Frama_C_*alloc_imprecise: faster convergence, but very imprecise.
 -   Kernel    [2020/04/01] Report user errors when keys are not bound to a