From f86d4bc8aeee965d2c12759ab7e6ef730a339180 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 4 Nov 2015 16:01:21 +0100
Subject: [PATCH] it just occurred to me that having 3 parts in the version
 number was safer, like it was before that is

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

diff --git a/VERSION b/VERSION
index e0ea36fe..09b254e9 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-6.0
+6.0.0
-- 
2.43.0