From b47ab1ea9ba4846752a7a9d28c2efa33d3966041 Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <J.Wielemaker@cs.vu.nl>
Date: Wed, 10 Jul 2019 11:13:47 +0200
Subject: [PATCH] Preparing version 1.3.1

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index f0bb29e76..3a3cd8cc8 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.3.0
+1.3.1