From 6d4a419cf72ce71d8d0436cd9185984d86a6024d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 8 Aug 2024 13:09:09 +0200
Subject: [PATCH] Updates the Changelog following the merge of
frama-c/frama-c!4647.
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 3d0b6d6973..f866553d17 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,8 @@
Open Source Release <next-release>
###############################################################################
+o! Kernel [2024-08-08] Plug-ins Dominators and Postdominators have been
+ removed and replaced by the Dominators module in the kernel.
- 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
--
GitLab