From 7c03abb36ee334d4af909d1a91bbe7353cbef177 Mon Sep 17 00:00:00 2001
From: Ralph Boehme <rb@sernet.de>
Date: Wed, 4 Jun 2014 10:28:19 +0200
Subject: [PATCH] Bump version to 3.1.3dev

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

diff --git a/VERSION b/VERSION
index 6ebad148..f228f94c 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.1.2
\ No newline at end of file
+3.1.3dev
\ No newline at end of file
-- 
2.39.2