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

Merge 10.7 into 10.8

This commit is contained in:
Marko Mäkelä
2022-10-13 10:42:41 +03:00
185 changed files with 4361 additions and 1084 deletions

View File

@ -7,7 +7,6 @@ set @DEFAULT_HIST_TYPE='double_prec_hb';
set @SINGLE_PREC_TYPE='JSON_HB';
set @DOUBLE_PREC_TYPE='JSON_HB';
set @DEFAULT_HIST_TYPE='JSON_HB';
drop table if exists t1,t2;
set @save_use_stat_tables=@@use_stat_tables;
set @save_histogram_size=@@global.histogram_size;
set @@global.histogram_size=0,@@local.histogram_size=0;