1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Merge 10.2 into 10.3

This commit is contained in:
Marko Mäkelä
2020-09-03 09:26:54 +03:00
67 changed files with 1442 additions and 1092 deletions

View File

@ -0,0 +1,5 @@
[on]
optimizer_switch=extended_keys=on
[off]
optimizer_switch=extended_keys=off