mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-15 03:17:20 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge branch '10.3' into 10.4

Browse source
This commit is contained in:
Sergei Golubchik 2019-09-06 11:53:10 +02:00
commit 244f0e6dd8
750 changed files with 8198 additions and 9670 deletions
Download patch file Download diff file Expand all files Collapse all files

3
mysql-test/main/index_intersect.test
View file

@ -1,3 +1,6 @@
--source include/default_optimizer_switch.inc
--source include/default_charset.inc
--disable_warnings
DROP TABLE IF EXISTS t1,t2,t3,t4;
DROP DATABASE IF EXISTS world;