mirror of
https://github.com/MariaDB/server.git
synced 2025-07-27 18:02:13 +03:00
Manual merge of fix for bug #9913 into 5.0 tree.
mysql-test/t/range.test: Auto merged scripts/mysql_install_db.sh: Auto merged sql/item_func.h: Auto merged sql/item_sum.cc: Auto merged sql/item_sum.h: Auto merged sql/sql_udf.h: Auto merged mysql-test/r/mysqldump.result: Manual merge. mysql-test/t/mysqldump.test: Manual merge.
This commit is contained in:
@ -1,3 +1,5 @@
|
||||
-- source include/have_innodb.inc
|
||||
|
||||
#
|
||||
# Problem with range optimizer
|
||||
#
|
||||
|
Reference in New Issue
Block a user