1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

System Versioning 1.0 pre7

Merge branch '10.3' into trunk
This commit is contained in:
Aleksey Midenkov
2017-12-21 11:16:42 +03:00
167 changed files with 9535 additions and 4519 deletions

View File

@ -1,3 +1,2 @@
--plugin-load-add=$EXAMPLE_KEY_MANAGEMENT_SO
--loose-example-key-management
--plugin-maturity=unknown