mirror of
https://github.com/MariaDB/server.git
synced 2026-04-27 02:35:29 +02:00
Merge 10.2 into 10.3
This commit is contained in:
commit
8e3d85e112
46 changed files with 757 additions and 640 deletions
|
|
@ -8,10 +8,7 @@
|
|||
--source include/have_debug.inc
|
||||
--source include/have_innodb.inc
|
||||
|
||||
--disable_warnings
|
||||
DROP TABLE IF EXISTS t1, t2;
|
||||
SET DEBUG_SYNC= 'RESET';
|
||||
--enable_warnings
|
||||
|
||||
--echo #
|
||||
--echo # Bug#42438: Crash ha_partition::change_table_ptr
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue