1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Merge 10.1 into 10.2

This commit is contained in:
Marko Mäkelä
2019-10-09 08:30:23 +03:00
8 changed files with 62 additions and 131 deletions

View File

@ -2391,9 +2391,6 @@ public:
*/
bool create_tmp_table_for_derived;
/* The flag to force reading statistics from EITS tables */
bool force_read_stats;
bool save_prep_leaf_list;
/* container for handler's private per-connection data */