1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Attempt fixing ERR_remove_state warning

This commit is contained in:
Sergey Vojtovich
2019-05-21 19:27:26 +04:00
parent 54b81cf6ca
commit 424dc49d41

View File

@ -43,6 +43,7 @@
#include "wsrep_mysqld.h"
#endif /* WITH_WSREP */
#include "proxy_protocol.h"
#include <ssl_compat.h>
HASH global_user_stats, global_client_stats, global_table_stats;
HASH global_index_stats;