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

Merge branch '10.2' into 10.3

This commit is contained in:
Oleksandr Byelkin
2019-10-31 10:58:06 +01:00
107 changed files with 2597 additions and 1355 deletions

View File

@ -49,10 +49,10 @@ SET DEBUG_SYNC = 'now WAIT_FOR query_done';
select command, time < 5 from information_schema.processlist where id != connection_id();
disconnect con1;
connection default;
set debug_sync='reset';
connection default;
--echo End of 5.5 tests
--echo #
--echo # 10.1 tests