diff --git a/Changelog b/Changelog
index 3c562140b14dda2daa1a499b648cde01a44a744b..bad19ae33373814899a64110da3d758235cedaa3 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,11 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Kernel    [2024-10-08] Asm contracts can now have \initialized ensures.
+              See option -asm-contracts-ensure-init
+-   Kernel    [2024-10-08] Option for converting stmt contracts into
+              ACSL assert for plug-ins with incomplete stmt contract support
+              See option -inline-stmt-contracts
 *   RTE       [2024-10-04] Fixed missing assertion on modulo signed overflow.
 *   Eva       [2024-10-04] Fixed missing signed overflow alarm on modulo.
 -   Eva       [2024-10-04] Fewer false alarms of signed overflow on divisions.