From fc8a514112888a4fd67aa8c181becb810b2c603f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 6 Aug 2024 14:21:46 +0200
Subject: [PATCH] update Changelog following frama-c/frama-c!4715
---
Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/Changelog b/Changelog
index 594b2fd264..3d0b6d6973 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,7 @@
Open Source Release <next-release>
###############################################################################
+- Eva [2024-08-06] Support for 'calls' ACSL extension
o Kernel [2024-08-05] Added new modules `Cache_dir` and `State_dir`
and additional facilities to build sub-directories in these
-! Kernel [2024-08-05] Changed `Config_dir` module signature, and
--
GitLab