diff --git a/Changelog b/Changelog
index 047e41977077ec561612751639d9d15c67c2337e..5326327f7637c3218fe950b04bc7c201466eab6b 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   Kernel    [2020-10-09] Add option -print-config-json, to output Frama-C
+              configuration data in JSON format.
 -   Metrics   [2020-10-01] Distinguish between undefined but specified functions
               and functions with neither definition nor specification.
 -*  Eva       [2020-09-28] Improved string builtins on wide strings: crash fixed,