1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge 10.3 into 10.4

This commit is contained in:
Marko Mäkelä
2020-08-26 11:30:20 +03:00
22 changed files with 219 additions and 141 deletions

View File

@ -303,7 +303,7 @@ class thd
public:
thd(my_bool wsrep_on);
thd(my_bool wsrep_on, bool system_thread=false);
~thd();
THD* const ptr;
};