From de75bb5bf817378a0a17bc4e94a0d679755ed41b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 27 Mar 2023 15:40:01 +0200
Subject: [PATCH] [wp] changelog for timeout

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

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 72838dc8ee2..841808a4dbf 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,7 @@
 Plugin WP <next-release>
 ###############################################################################
 
+- WP          [2023-04-03] Default timeout set to 2s
 - WP          [2023-03-29] fix option -wp-split to only split conditions
 - WP          [2023-03-29] new option -wp-split-switch to split switches
 - WP          [2023-03-29] new option -wp-split-conj to split conjunctive goals
-- 
GitLab