From 382c4eb759d28933994bf130eea68686839c9461 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 31 Oct 2019 16:17:14 +0100
Subject: [PATCH] Update Changelog
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index ca25f44000d..0bb5a9b226f 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
+-! Kernel [2019/10/31] More stringent verifications on the use of ghost
+ variable in non ghost-code. Fixes #2421
- MdR [2019/10/31] New plug-in Markdown-Report (MdR) for markdown and
SARIF outputs
- Eva [2019/10/23] New option -eva-auto-loop-unroll N to unroll all
--
GitLab