From e61551a8f1fccc4451a66c28ff06e1726dc27e64 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 21 Sep 2020 11:16:53 +0200
Subject: [PATCH] changelog
---
Changelog | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Changelog b/Changelog
index 281ea948fa2..76ba6294e47 100644
--- a/Changelog
+++ b/Changelog
@@ -16,6 +16,9 @@
##################################
Open Source Release <next-release>
##################################
+
+- Kernel [2020-09-21] Option -permissive now allows non-existent option
+ names.
- Logic [2020-09-11] Introduce check-only annotations for
requires, ensures, loop invariant and lemmas
- Kernel [2020-09-08] Add option -print-cpp-commands, to print the
--
GitLab