From c2763897169f3e36a07a14918b3104d312222758 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 12 Jun 2020 11:55:09 +0200
Subject: [PATCH] [wp] Updated Changelog

---
 src/plugins/wp/Changelog | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 22673dafee4..a06078e61cf 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)
 #########################
-- 
GitLab