From f4fc3bf25011c0a033b90f61e02ea52dea4517b3 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 5 Mar 2019 09:07:49 +0100
Subject: [PATCH] Update Changelog

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

diff --git a/Changelog b/Changelog
index 7ebb7055d60..cf1998a40a5 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-*  Kernel    [2019/03/05] Better detection of invalid goto in presence of VLA
+              (fixes #@499)
 -*  Obfuscator [2019/02/26] Obfuscate logic types and logic constructors.
 -   Eva       [2019/01/10] Improved precision on nested loops (by postponing
               the widening on inner loops according to -eva-widening-period).
-- 
GitLab