diff --git a/CHANGES.md b/CHANGES.md
index 2e20659cd1fe1945f475931eaebb2d771cbcb887..5f4113fb41eb2af125a1811ce3b58bb60ff60111 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,8 +1,12 @@
 :x: marks a potential source of incompatibility
 
+Version 1.3.1, March 24, 2020
+-----------------------------
+
 Bug fixes
   * fixed conflicting symbols for CVC4 1.7
   * fixed META file
+  * fixed infinite loops in strategies
 
 Version 1.3.0, March 17, 2020
 -----------------------------
diff --git a/configure.in b/configure.in
index 93112b9ef341ca777867b108c3cc83f8650ff790..b306d240538b53c17eef420ac4fba6ad6590f448 100644
--- a/configure.in
+++ b/configure.in
@@ -25,7 +25,7 @@
 # See the GNU Library General Public License version 2 for more details
 # (enclosed in the file LGPL).
 
-AC_INIT([Why3], [1.3.0])
+AC_INIT([Why3], [1.3.1])
 
 # verbosemake
 
diff --git a/doc/conf.py b/doc/conf.py
index 548087f1e4a984a33103d9defde99e255e688d88..e3b1b145f37a00750d258f2dfe3c26eda7914847 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -58,7 +58,7 @@ author = 'The Why3 Development Team'
 # The short X.Y version.
 version = '1.3'
 # The full version, including alpha/beta/rc tags.
-release = '1.3.0'
+release = '1.3.1'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
diff --git a/misc/release.md b/misc/release.md
index 27a8e9b12688c14af5be74f11506a5d960935be4..e5235bed35478233292a4e8ad872b3427ec1bd74 100644
--- a/misc/release.md
+++ b/misc/release.md
@@ -8,6 +8,7 @@
   - `make trywhy3`
   - run `make detect-unused` and remove unused files
   - run `make update-doc-png` and check if some pictures need to be updated
+  - check `lib/why3/META.in`
 
 * change version number `VERSION=1.3 RELEASE=1.3.0`
   - update the first line of `configure.in` using `$RELEASE`