1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge 10.11 into 11.0

This commit is contained in:
Marko Mäkelä
2024-03-28 10:51:36 +02:00
490 changed files with 14843 additions and 4704 deletions

View File

@@ -1031,10 +1031,6 @@ public:
Time_zone *time_zone,
int *need_mon
) = 0;
virtual bool set_loop_check_in_bulk_sql();
virtual int set_loop_check(
int *need_mon
);
virtual int fin_loop_check();
virtual int show_master_status(
SPIDER_TRX *trx,