1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge branch '10.11' into 11.0

This commit is contained in:
Oleksandr Byelkin
2023-08-08 21:03:46 +02:00
870 changed files with 11721 additions and 6311 deletions

View File

@ -693,6 +693,7 @@ DROP INDEX CityName on City;
CREATE INDEX Name ON City(Name);
CREATE INDEX Population ON City(Population);
--disable_ps2_protocol
--disable_view_protocol
--replace_column 9 #
EXPLAIN
@ -755,6 +756,7 @@ SELECT * FROM City
ORDER BY Population LIMIT 5;
SHOW STATUS LIKE 'Handler_read_%';
--enable_view_protocol
--enable_ps2_protocol
set optimizer_switch=@save_optimizer_switch;