diff --git a/Changelog b/Changelog
index 6f9417e2f52e9a326301ab5189fb56c25826a640..4e6481d84181aff2390e4e5d884d9555172bc360 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,14 @@
 Open Source Release <next-release>
 ##################################
 
+o   ACSL      [2020/02/13] Add possibility for ACSL extensions to alter the
+              sequence of untyped terms they receive from the parser. Make also
+              possible to customize the short pretty printer of extensions.
+o   Kernel    [2020/02/13] Deprecated:
+                           - Logic_typing.register_*_extension
+                           - Cil_printer.register_*_extension
+                           - Cil.register_behavior_extension
+                           Use Acsl_extension.register_* instead
 o!  Kernel    [2020/02/04] Removed FCBuffer, FCMap and FCSet. Use directly 
               OCaml stdlib modules Buffer, Map and Set instead.
 -*  GUI       [2020/01/24] Fix order of globals in the source panel.