diff --git a/Changelog b/Changelog
index d7d0e3c178a1f291f4710b788a05db69e43fd5a9..10062ae0ed8c64d8e4d5a96e8b7c20607c9b4da9 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,7 @@
 Open Source Release <next-release>
 ##################################
 
+-   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.
 -   Eva       [2020/03/03] Slightly better heuristics for the subdivision of