diff --git a/Changelog b/Changelog
index d5124640269c6be51f50f492718d84d487814ac3..639021b264e4867dafddfd02bca1d0e0ada12143 100644
--- a/Changelog
+++ b/Changelog
@@ -45,6 +45,7 @@ Open Source Release <next-release>
               option) on loops with several exit conditions, conditions using
               equality operators, temporary variables introduced by the Frama-C
               normalization or goto statements.
+-!  Kernel    [2020-07-21] OCaml version greater than or equal to 4.08.1 required.
 -   Eva       [2020-05-29] New builtins for trigonometric functions acos, asin
               and atan (and their single-precision version acosf, asinf, atanf).
 -   Kernel    [2020-05-28] Support for C11's _Thread_local storage specifier