From c4875264a3eb4c7b9d81b828c88d9fd2239fcfb3 Mon Sep 17 00:00:00 2001
From: Sebastiaan van Stijn <github@gone.nl>
Date: Thu, 7 Dec 2017 13:58:06 -0800
Subject: [PATCH] Bump version to 18.01-dev

The 17.12.0-rc1 release was cut-off from commit
ace5417954ec908d862d59e992c8d77685366eab

This patch bumps the version to 18.01-dev to
indicate that any change is now for the upcoming
18.01 release.

Signed-off-by: Sebastiaan van Stijn <github@gone.nl>
---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index 16ce4f73ee..8dfd0227f3 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-17.12.0-dev
+18.01.0-dev