1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

gamma -> stable

This commit is contained in:
Sergei Golubchik
2021-07-02 23:52:55 +02:00
parent 028d611832
commit 9ec3cd9af0
2 changed files with 2 additions and 2 deletions

View File

@@ -1,4 +1,4 @@
MYSQL_VERSION_MAJOR=10
MYSQL_VERSION_MINOR=6
MYSQL_VERSION_PATCH=3
SERVER_MATURITY=gamma
SERVER_MATURITY=stable

View File

@@ -60,7 +60,7 @@ VARIABLE_NAME PLUGIN_MATURITY
SESSION_VALUE NULL
GLOBAL_VALUE alpha
GLOBAL_VALUE_ORIGIN CONFIG
DEFAULT_VALUE beta
DEFAULT_VALUE gamma
VARIABLE_SCOPE GLOBAL
VARIABLE_TYPE ENUM
VARIABLE_COMMENT The lowest desirable plugin maturity. Plugins less mature than that will not be installed or loaded