1
0
mirror of https://github.com/MariaDB/server.git synced 2025-06-15 00:02:46 +03:00

cleanup: cosmetic fixes

This commit is contained in:
Sergei Golubchik
2019-04-20 12:13:42 +02:00
parent 6cc19078ba
commit d3b2228fd8
5 changed files with 6 additions and 9 deletions

View File

@ -36,6 +36,7 @@
#include "violite.h" /* vio_is_connected */
#include "thr_lock.h" /* thr_lock_type, THR_LOCK_DATA, THR_LOCK_INFO */
#include "thr_timer.h"
#include <my_tree.h>
#include "sql_digest_stream.h" // sql_digest_state