From 097708d0a8c487f8d5797f3c524e1c9de1627781 Mon Sep 17 00:00:00 2001
From: Emmanuel Jeanvoine <emmanuel.jeanvoine@inria.fr>
Date: Thu, 19 Feb 2015 12:33:47 +0100
Subject: [PATCH] Set minor_version to 1

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

diff --git a/minor_version b/minor_version
index 573541ac..d00491fd 100644
--- a/minor_version
+++ b/minor_version
@@ -1 +1 @@
-0
+1
-- 
GitLab