diff --git a/Changelog b/Changelog
index 0c8955af99978a50aad450f1b8678ce03bb8f5da..1d2fb8f1988943dcc2e9dfb9eabd2bc27cdc2b66 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   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
               value for command-line options that require pairs of key:value
               as arguments. Such keys were silently ignored.