From 9b7e7d34ec2cf905d8c0a71c07d1dcddbb0169a5 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 30 May 2018 10:59:16 +0200
Subject: Updates for public release 3.3

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

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index 28a828d8..07b6ad72 100644
--- a/VERSION
+++ b/VERSION
@@ -1,3 +1,3 @@
-version=3.2
+version=3.3
 buildnr=
 tag=
-- 
cgit