diff --git a/VERSION b/VERSION index b0b3fe5f926..d9da7cbefdb 100644 --- a/VERSION +++ b/VERSION @@ -17,7 +17,7 @@ major=5 minor=0 -release=7 +release=8 # MPI Standard Compliance Level mpi_standard_version=3 @@ -41,7 +41,7 @@ flex_min_version=2.5.4 # requirement is that it must be entirely printable ASCII characters # and have no white space. -greek=rc2 +greek=a1 # If repo_rev is empty, then the repository version number will be # obtained during "make dist" via the "git describe --tags --always"