diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog index fd1f3d7353d96c48926c9ffdba6fffae0bf84241..909735d988651140947876f46b2af84fc089552a 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)