From 5ade045eecca7e0c4fefe1a758da31b9fe788e30 Mon Sep 17 00:00:00 2001 From: Wenduo Wang Date: Thu, 21 Dec 2023 10:11:06 -0800 Subject: [PATCH] VERSION: bump to 5.0.2a1 Bump version after 5.0.1 release bot:notacherrypick Signed-off-by: Wenduo Wang --- VERSION | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/VERSION b/VERSION index bc5578f59da..265cdf1c2cb 100644 --- a/VERSION +++ b/VERSION @@ -17,7 +17,7 @@ major=5 minor=0 -release=1 +release=2 # 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"