From dbd9be97018e676cb2ed0966fa06e9d9ce74264c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 9 Oct 2020 10:53:23 +0200
Subject: [PATCH] update Changelog
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 047e4197707..5326327f763 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,
--
GitLab