diff --git a/Changelog b/Changelog
index 265c9e278bb29d9ee2c2942c5ccfb7d7b84447e9..c3db23df9f0ebef4beea473362f710086b28e665 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   Kernel    [2020/02/18] checks that ghost code does not modify the normal
+              control flow of the non-ghost program
 -*  Kernel    [2020/02/17] fixes issue that could prevent loading plug-ins on
               Windows installation
 -   Kernel    [2020/02/14] -constfold now takes into account value