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

MDEV-20655 maturity stable for user_variables

This commit is contained in:
Rasmus Johansson
2019-09-24 14:37:01 +03:00
committed by GitHub
parent ef701bfd07
commit fa9e012a34

View File

@@ -134,6 +134,6 @@ maria_declare_plugin(user_variables)
NULL,
NULL,
"1.0",
MariaDB_PLUGIN_MATURITY_GAMMA
MariaDB_PLUGIN_MATURITY_STABLE
}
maria_declare_plugin_end;