diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 22673dafee48a96c931e521209493d1ce35ec79e..a06078e61cff3143865706cac8deed0453e2a2e7 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,12 @@
 #   <Prover>: prover
 ###############################################################################
 
+#########################
+Plugin WP <next-release>
+#########################
+
+ -   WP        [2020-06-12] Supports the \initialized ACSL predicate
+
 #########################
 Plugin WP 21.0 (Scandium)
 #########################