1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

5.3 merge

This commit is contained in:
Sergei Golubchik
2012-10-18 23:33:06 +02:00
40 changed files with 1130 additions and 162 deletions

View File

@ -364,6 +364,8 @@ inline int hexchar_to_int(char c)
#define IS_TABLESPACES_NODEGROUP_ID 7
#define IS_TABLESPACES_TABLESPACE_COMMENT 8
bool db_name_is_in_ignore_db_dirs_list(const char *dbase);
#endif /* MYSQL_SERVER */
#endif /* MYSQL_CLIENT */