MYSQL_VERSION_MAJOR=12
MYSQL_VERSION_MINOR=3
MYSQL_VERSION_PATCH=0
SERVER_MATURITY=alpha
