From ecb352efa8b5f53e965a8d486bf50c684d083b22 Mon Sep 17 00:00:00 2001 From: Wenduo Wang Date: Tue, 9 Apr 2024 06:44:50 -0700 Subject: [PATCH] Bump version post v5.0.3 release bot:notacherrypick Signed-off-by: Wenduo Wang --- VERSION | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/VERSION b/VERSION index 3a614a704f3..4388a23ce57 100644 --- a/VERSION +++ b/VERSION @@ -17,7 +17,7 @@ major=5 minor=0 -release=3 +release=4 # 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= +greek=a1 # If repo_rev is empty, then the repository version number will be # obtained during "make dist" via the "git describe --tags --always"