Merge pull request #5573 from bwbarrett/v3.1.x-VERSION

dist: bump version to 3.1.2rc2
open-mpi · Aug 22, 2018 · 5a14e33 · 5a14e33
2 parents ecd9c5a + 9b20750
commit 5a14e33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/VERSION b/VERSION
@@ -26,7 +26,7 @@ release=2
 # requirement is that it must be entirely printable ASCII characters
 # and have no white space.
 
-greek=rc1
+greek=rc2
 
 # If repo_rev is empty, then the repository version number will be
 # obtained during "make dist" via the "git describe --tags --always"