From d2ab54755d817985c76ab955c6ff03be89fc8b0d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 3 Sep 2024 08:33:01 +0000
Subject: [PATCH] Update Changelog following !4670 merge

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

diff --git a/Changelog b/Changelog
index b40c2f2543..1fce0e648c 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,7 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Kernel    [2024-09-03] Place noreturn attribute on types instead of vars
 -   Alias     [2024-08-22] no longer classify virtually all casts as unsafe
 o!  Kernel    [2024-08-08] New Machine module to manage theMachine and machdeps.
               Cil functions related to theMachine are deprecated.
-- 
GitLab