From a117a35d15962a5589a94d41cfd29389e0361496 Mon Sep 17 00:00:00 2001 From: Brian Barrett Date: Mon, 22 Jan 2018 20:17:47 -0800 Subject: [PATCH] dist: set version to 3.1.0rc1 It's time to cut a release candidate, so update the version. Signed-off-by: Brian Barrett --- VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSION b/VERSION index cd1ea5982a7..58dc4562a93 100644 --- a/VERSION +++ b/VERSION @@ -26,7 +26,7 @@ release=0 # requirement is that it must be entirely printable ASCII characters # and have no white space. -greek=a1 +greek=rc1 # If repo_rev is empty, then the repository version number will be # obtained during "make dist" via the "git describe --tags --always"