From cb7c299736874f06385bc3830dbc6bc8904b245b Mon Sep 17 00:00:00 2001
From: Wenduo Wang <wenduwan@amazon.com>
Date: Wed, 7 Feb 2024 13:22:29 -0800
Subject: [PATCH] Bump version after v5.0.2 release

bot:notacherrypick

Signed-off-by: Wenduo Wang <wenduwan@amazon.com>
---
 VERSION | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/VERSION b/VERSION
index 3bed6685b7f..20e4de3d50f 100644
--- a/VERSION
+++ b/VERSION
@@ -17,7 +17,7 @@
 
 major=5
 minor=0
-release=2
+release=3
 
 # 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"