From d929b47ae7848b4dbb07bcded66b2dc3ec63f5cc Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Tue, 24 Mar 2020 09:30:55 +0100
Subject: [PATCH] Version 1.3.1

---
 CHANGES.md      | 4 ++++
 configure.in    | 2 +-
 doc/conf.py     | 2 +-
 misc/release.md | 1 +
 4 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 2e20659cd1..5f4113fb41 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 93112b9ef3..b306d24053 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 548087f1e4..e3b1b145f3 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 27a8e9b126..e5235bed35 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`
-- 
GitLab