mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 11:57:38 +02:00
Merge branch '10.2' into 10.3
This commit is contained in:
commit
a071e0e029
671 changed files with 6035 additions and 9109 deletions
|
|
@ -13,6 +13,8 @@
|
|||
# before calling mi_state_info_write
|
||||
#
|
||||
|
||||
--source include/default_optimizer_switch.inc
|
||||
|
||||
create table t1 (a bigint);
|
||||
lock tables t1 write;
|
||||
insert into t1 values(0);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue