1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

mariadb-5.5.33 merge

This commit is contained in:
Sergei Golubchik
2013-09-18 12:00:23 +02:00
3635 changed files with 1904401 additions and 85390 deletions

View File

@ -8763,7 +8763,7 @@ bool check_host_name(LEX_STRING *str)
}
extern int MYSQLparse(void *thd); // from sql_yacc.cc
extern int MYSQLparse(THD *thd); // from sql_yacc.cc
/**