diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 67df94638e18b4d1ad77d0e05543537538e5da7a..28cbc17974c2d49dfcdbabb6b618c76cb9845f5f 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,14 @@
 Plugin WP <next-release>
 #########################
 
+- WP          [2021-06-11] Adds an experimental support of "terminates" clauses.
+                           Adds the options -wp-declaration-terminate and
+                          -wp-frama-c-stdlib to claims that external functions
+                           terminates.
+                           Adds -wp-declarations-terminate option to claims that
+                           defined function terminates.
+                           Adds -wp-variant-with-terminates to verify loop
+                           variants under the termination hypothesis.
 - WP          [2021-06-01] -wp-smoke-tests detects incoherent assumes when no
                            requires are specified, can be disabled with new
                            option -wp-smoke-dead-assumes