MYSQL_VERSION_MAJOR=12
MYSQL_VERSION_MINOR=0
MYSQL_VERSION_PATCH=2
SERVER_MATURITY=stable
