[WP] update Changelog

41e7d87d · Andre Maroneze · e0ceba9b · 41e7d87d
Commit 41e7d87d authored 4 years ago by Andre Maroneze
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,13 @@
 #   <Prover>: prover
 ###############################################################################

+#########################
+Plugin WP 21.1 (Scandium)
+#########################
+
+-*  WP        [2020-06-23] Fixes Coq region function
+-*  WP        [2020-06-23] Fixes MemTyped structure loader for wp-rte
+
 #########################
 Plugin WP 21.0 (Scandium)
 #########################