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

MDEV-27062: Make histogram_type=JSON_HB the new default

This commit is contained in:
Sergei Petrunia
2021-11-29 16:11:18 +03:00
parent eb6a9ad705
commit be55ad0d34
18 changed files with 119 additions and 119 deletions

View File

@ -1,6 +1,6 @@
set @SINGLE_PREC_TYPE='single_prec_hb';
set @DOUBLE_PREC_TYPE='double_prec_hb';
set @DEFAULT_HIST_TYPE=@@histogram_type;
set @DEFAULT_HIST_TYPE='double_prec_hb';
if ($histogram_type_override) {
eval set @SINGLE_PREC_TYPE=$histogram_type_override;