diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 44868a143cbab14096a30bce28994cacadf9aa44..d73bf64f1e432e3afe23b30cd12b7a0ad7ea1fc5 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,13 +24,13 @@
 Plugin WP <next-release>
 #########################
 
-- WP          [2020-10-07] New tactic Bit-Test range
-- WP          [2020-09-21] Added support for Why3 interactive prover (Coq)
-- WP          [2020-10-XX] New warning "pedantic-assigns". WP needs precise
+- WP          [2020-10-14] New warning "pedantic-assigns". WP needs precise
                            'assigns ... \from ...' specification about out
                            pointers (\result and assigned pointers) to generate
                            precise proof hypotheses.
-- WP          [2020-10-XX] Hypotheses: out pointers (\result + written pointers)
+- WP          [2020-10-14] Hypotheses: out pointers (\result + written pointers)
+- WP          [2020-10-07] New tactic Bit-Test range
+- WP          [2020-09-21] Added support for Why3 interactive prover (Coq)
 - WP          [2020-09-21] Added support for Why3 Coq interactive prover
 - WP          [2020-09-21] New option -wp-interactive <mode>
 - WP          [2020-09-21] New option -wp-interactive-timeout <seconds>