diff --git a/Changelog b/Changelog
index 281ea948fa27ed178cec5f91c07b9b6f16ed3b78..76ba6294e471c5435d907722474eaf0bcee870ab 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