From 8f730e5ea2852fbc238f1c74c4ef1b4f3ec467fd Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 5 Sep 2023 09:26:07 +0000
Subject: [PATCH] Update Changelog after merging !4272

---
 Changelog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Changelog b/Changelog
index a241d9295b7..eaf5804a1af 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,7 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Kernel    [2023-09-04] Fix #@846 (printing ACSL attribute in ghost code)
 o   Kernel    [2023-07-24] Expose Cil functions for type compatibility
 
 ###############################################################################
-- 
GitLab