diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 7f0e79e4a4ae6417fc10bef94e80e4437d76c49f..16021662988a299c7af23cf63345da8266f85b47 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,10 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-  E-ACSL       [2020-10-06] Add support for the `\separated` predicate.
+                (frama-c/e-acsl#31)
+-* E-ACSL       [2020-10-06] Fix a soundness bug when translating a range with a
+                logic variable.
 -  E-ACSL       [2020-09-22] Support of complete and disjoint behavior
                 (frama-c/e-acsl#92 and frama-c/e-acsl#27).
 -* runtime      [2020-09-15] Fix wrong value returned for the stack size in the