diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 94248faed18a00b9d3e6ef53a09588f184621420..1a3e5223da2e0b38362bb7a99481de429be9dad6 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,8 @@
 #   <Prover>: prover
 ###############################################################################
 
+- WP          [2019/12/04] Added option -wp-run-all-provers
+
 ##########################
 Plugin WP 20.0 (Calcium)
 ##########################