From 8c27efa938e41efe1aa049fc6cc8e3eb3d9eb0f6 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Wed, 18 Mar 2020 08:44:49 +0100
Subject: [PATCH] Update Changelog after merging !2570

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

diff --git a/Changelog b/Changelog
index 4902c1fc4f6..cef89e78c0a 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-*  Kernel    [2020/03/18] Fixes #@823 (-load-module/-load-script now accept
+              spaces in filename)
 -*  Kernel    [2020/03/18] Fixes #@818 (term generated for downcast alarms) 
 -   Eva       [2020/03/17] Supports the ACSL extended quantifiers \min and \max.
 -   Eva       [2020/03/17] deprecate options -eva-*-domain in favor of
-- 
GitLab