mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
fix version
This commit is contained in:
parent
43d478d41d
commit
7e3dfe3e75
2 changed files with 3 additions and 3 deletions
4
VERSION
4
VERSION
|
@ -1,4 +1,4 @@
|
|||
MYSQL_VERSION_MAJOR=11
|
||||
MYSQL_VERSION_MINOR=6
|
||||
MYSQL_VERSION_PATCH=0
|
||||
SERVER_MATURITY=alpha
|
||||
MYSQL_VERSION_PATCH=1
|
||||
SERVER_MATURITY=gamma
|
||||
|
|
|
@ -60,7 +60,7 @@ VARIABLE_NAME PLUGIN_MATURITY
|
|||
SESSION_VALUE NULL
|
||||
GLOBAL_VALUE alpha
|
||||
GLOBAL_VALUE_ORIGIN CONFIG
|
||||
DEFAULT_VALUE experimental
|
||||
DEFAULT_VALUE beta
|
||||
VARIABLE_SCOPE GLOBAL
|
||||
VARIABLE_TYPE ENUM
|
||||
VARIABLE_COMMENT The lowest desirable plugin maturity. Plugins less mature than that will not be installed or loaded
|
||||
|
|
Loading…
Reference in a new issue