1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Merge branch '10.0-galera' into 10.1

This commit is contained in:
Vicențiu Ciorbaru
2018-06-12 19:39:37 +03:00
51 changed files with 590 additions and 380 deletions

View File

@@ -2940,6 +2940,7 @@ public:
query_id_t first_query_id;
} binlog_evt_union;
mysql_cond_t COND_wsrep_thd;
/**
Internal parser state.
Note that since the parser is not re-entrant, we keep only one parser