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

Merge 10.0 -> 10.1

This commit is contained in:
Sergey Petrunya
2014-05-08 13:09:15 +04:00
257 changed files with 13899 additions and 2639 deletions

View File

@ -1,4 +1,4 @@
create table innodb_table_monitor (a int) engine=InnoDB;
Warnings:
Warning 131 Using innodb_table_monitor is deprecated and it may be removed in future releases. Please use the InnoDB INFORMATION_SCHEMA tables instead, see http://dev.mysql.com/doc/refman/5.6/en/innodb-i_s-tables.html
Warning 131 Using the table name innodb_table_monitor to enable diagnostic output is deprecated and may be removed in future releases. Use INFORMATION_SCHEMA or PERFORMANCE_SCHEMA tables or SET GLOBAL innodb_status_output=ON.
drop table innodb_table_monitor;