mirror of https://github.com/MariaDB/server
Browse Source
Saved at the very beginning and restored at the very end the value of optimizer_use_stat_tables.pull/57/head
2 changed files with 6 additions and 1 deletions
Loading…
Reference in new issue