From 4d80744cbbb245dfe7acb39334768d03f1b63743 Mon Sep 17 00:00:00 2001 From: Alexander Neumann Date: Wed, 13 Sep 2017 17:14:26 +0200 Subject: [PATCH] Add VERSION file for 0.7.2 --- VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSION b/VERSION index 39e898a4f..7486fdbc5 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.7.1 +0.7.2