mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 05:22:25 +01:00
e8af217e16
Do not issue the warning in case we are not going to collect the statistics. |
||
---|---|---|
.. | ||
innodb-create-options.result | ||
innodb-zip.result | ||
innodb_bug36169.result | ||
innodb_bug36172.result | ||
innodb_bug52745.result | ||
innodb_bug53591.result | ||
innodb_bug56680.result | ||
innodb_cmp_drop_table.result | ||
innodb_index_large_prefix.result | ||
innodb_prefix_index_liftedlimit.result |