diff options
| author | Rasmus Johansson <razze@iki.fi> | 2019-09-24 14:37:01 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-24 14:37:01 +0300 |
| commit | fa9e012a3412ad93159b69e4c7eb7a2eb5bde37f (patch) | |
| tree | 934f9604621ce72562593bed42657fec3f18ea07 /plugin | |
| parent | ef701bfd075331843f512415541e54ba784d9b98 (diff) | |
| download | mariadb-git-fa9e012a3412ad93159b69e4c7eb7a2eb5bde37f.tar.gz | |
MDEV-20655 maturity stable for user_variables
Diffstat (limited to 'plugin')
| -rw-r--r-- | plugin/user_variables/user_variables.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugin/user_variables/user_variables.cc b/plugin/user_variables/user_variables.cc index 0dfd1b4db94..4e288963988 100644 --- a/plugin/user_variables/user_variables.cc +++ b/plugin/user_variables/user_variables.cc @@ -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; |