mirror of https://github.com/MariaDB/server
Browse Source
fts_optimize_shutdown(): Wait for fts_optimize_callback() to terminate before deleting the timer that it uses.pull/1583/head
1 changed files with 2 additions and 2 deletions
Loading…
Reference in new issue