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

Merge branch '10.4' into bb-10.4-mdev7486

This commit is contained in:
Galina Shalygina
2019-02-19 11:00:39 +03:00
91 changed files with 4340 additions and 1147 deletions

View File

@@ -1463,8 +1463,8 @@ gtid-ignore-duplicates FALSE
gtid-pos-auto-engines
gtid-strict-mode FALSE
help TRUE
histogram-size 0
histogram-type SINGLE_PREC_HB
histogram-size 254
histogram-type DOUBLE_PREC_HB
host-cache-size 279
idle-readonly-transaction-timeout 0
idle-transaction-timeout 0