From af30e4a6da60758ca88b404faaa908b5ec2bd9cb Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Mon, 1 Mar 2021 09:12:33 +0100 Subject: [PATCH] Changelog date --- src/plugins/wp/Changelog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog index 6733a92de56..3abab2c703e 100644 --- a/src/plugins/wp/Changelog +++ b/src/plugins/wp/Changelog @@ -24,8 +24,8 @@ Plugin WP <next-release> ######################### -- WP [2020-02-25] Section « Limitation & Roadmap » added to the WP manual. -- WP [2020-02-25] New internal WP engine, fixing many issues related to +- WP [2020-03-01] Section « Limitation & Roadmap » added to the WP manual. +- WP [2020-03-01] New internal WP engine, fixing many issues related to control flow graph and local variable scoping. Support for stmt contracts has been removed. Support for looping gotos has been removed. -- GitLab