From bd32913300bc7c48fbee4a26f2553e7e5a99c0d5 Mon Sep 17 00:00:00 2001
From: Luca Scarabello <luca.scarabello@sed.ethz.ch>
Date: Mon, 12 Jun 2017 10:20:08 +0200
Subject: [PATCH] bump version to 0.7.2

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

diff --git a/version b/version
index 39e898a..7486fdb 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-0.7.1
+0.7.2
-- 
GitLab