From 9d73166749dbd288bbe3046515b1c77390c43b9f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 18 Jul 2023 09:28:31 +0200
Subject: [PATCH] Update ChangeLog

---
 Changelog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Changelog b/Changelog
index e619fceeedb..3ba4625293d 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,11 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Kernel    [2023-07-17] New frama-c-script wrapper for make_machdep.py
+-*  Ivette    [2023-07-06] Fixes crash with multiple instances
+-*  GUI       [2023-07-05] Fixes freeze when a plugin aborts during splash screen
+-*  GUI       [2023-07-05] Fixes crash related to tags and undefined types
+
 ###############################################################################
 Open Source Release 27.0 (Cobalt)
 ###############################################################################
-- 
GitLab