From a5f5f5f4dd3fe943eca50767fb2865a367dc401e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 25 Feb 2020 19:48:24 +0100
Subject: [PATCH] Update Changelog
---
Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/Changelog b/Changelog
index b987a831ba8..dfb56251ef2 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,7 @@
Open Source Release <next-release>
##################################
+- Kernel [2020/02/25] support for ghost else blocks
- Kernel [2020/02/18] checks that ghost code does not modify the normal
control flow of the non-ghost program
-* Kernel [2020/02/17] fixes issue that could prevent loading plug-ins on
--
GitLab