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

Merge 10.0-base -> 10.0

This commit is contained in:
Igor Babaev
2013-04-22 20:55:22 -07:00
25 changed files with 1073 additions and 11 deletions

View File

@ -517,6 +517,7 @@ typedef struct system_variables
ulong net_write_timeout;
ulong optimizer_prune_level;
ulong optimizer_search_depth;
ulong optimizer_selectivity_sampling_limit;
ulong optimizer_use_condition_selectivity;
ulong use_stat_tables;
ulong histogram_size;