diff --git a/Changelog b/Changelog index 4902c1fc4f64e36f71d968edcdb1fd82d7a94f7c..cef89e78c0a67ada93c69d66dd3ede7d452d5933 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