Mirrors/MariaDB-server
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-12-28 08:10:14 +00:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity

bump the version

Browse Source
This commit is contained in:
Sergei Golubchik 2025-04-18 15:06:50 +02:00
parent 9b824e62d4
commit f02ad2f641
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
VERSION
View File

@ -1,4 +1,4 @@
MYSQL_VERSION_MAJOR=12
MYSQL_VERSION_MINOR=0
MYSQL_VERSION_PATCH=0
SERVER_MATURITY=alpha
MYSQL_VERSION_PATCH=1
SERVER_MATURITY=gamma

2
mysql-test/suite/sys_vars/r/sysvars_star.result
View File

@ -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