From 048ef2834ffa88145dbb86166f0e04d4aff428b6 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 20 Jan 2021 11:41:53 +0100
Subject: [PATCH] [wp] Changelog

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

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index fd1f3d7353d..909735d9886 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,7 @@
 Plugin WP <next-release>
 #########################
 
+-* WP         [2020-00-00] Fixes opaque structures handling
 - TIP         [2020-11-06] New tactic: Sequence unrolling
 - TIP         [2020-11-05] New tactic: Induction
 - WP          [2020-11-04] Removed option -wp-bits (now always enabled)
-- 
GitLab