MYSQL_VERSION_MAJOR=13
MYSQL_VERSION_MINOR=1
MYSQL_VERSION_PATCH=1
SERVER_MATURITY=gamma
