From 68b717d0d32033014382d0e8d7e0c75a32f5b201 Mon Sep 17 00:00:00 2001
From: Brian Barrett <bbarrett@amazon.com>
Date: Wed, 2 May 2018 18:36:38 -0700
Subject: [PATCH] dist: Update version to 3.1.0rc7

We almost had it.  I have great faith we won't need an rc7.

Signed-off-by: Brian Barrett <bbarrett@amazon.com>
---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index 5d26456135c..a8301455836 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=rc6
+greek=rc7
 
 # If repo_rev is empty, then the repository version number will be
 # obtained during "make dist" via the "git describe --tags --always"