From e3e7a9ab674b057f4785217c16c3c386484a32fe Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 22 Apr 2024 07:43:58 +0000
Subject: [PATCH] Changelog
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 6beb9fa8516..e8be8fa91aa 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,8 @@
Open Source Release <next-release>
###############################################################################
+o Dev [2024-04-22] Remove frama-c-build-scripts.sh; add a section in
+ the user manual about how to manually replace it.
o Kernel [2024-04-17] Remove deprecated funcs Extlib.string_{pre,suf}fix
- Alias [2024-04-16] Fix analysis results in the presence of structures.
Complete rework of the API. Improved documentation. Fix stack
--
GitLab