From 1e14c041858e18dd6d802583e347609bc53b2f01 Mon Sep 17 00:00:00 2001 From: Jens Janssen Date: Wed, 16 May 2018 14:22:09 +0200 Subject: [PATCH] GIT: prepare for release v3.1.0 --- VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSION b/VERSION index 85d62844e..fd2a01863 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -3.1.0.dev0 +3.1.0