mirror of
https://github.com/MariaDB/server.git
synced 2025-08-01 03:47:19 +03:00
Merge shellback.(none):/home/msvensson/mysql/same_tools/my41-same_tools
into shellback.(none):/home/msvensson/mysql/same_tools/my50-same_tools
This commit is contained in:
@ -8,6 +8,8 @@
|
||||
# merge table getting renamed.
|
||||
--source include/not_windows.inc
|
||||
|
||||
let $SERVER_VERSION=`select version()`;
|
||||
|
||||
create table t1 (a int);
|
||||
insert into t1 values (10);
|
||||
create table t2 (a int);
|
||||
|
Reference in New Issue
Block a user