1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Merge branch '10.0' into 10.1

This commit is contained in:
Sergei Golubchik
2018-06-14 18:06:08 +02:00
4 changed files with 120 additions and 106 deletions

View File

@ -0,0 +1,8 @@
create table t1 (a int) engine=innodb;
start transaction;
insert t1 values (1);
state from show engine innodb status
state from show processlist
drop table t1;