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

Merge remote-tracking branch 'origin/bb-10.2-ext' into 10.3

This commit is contained in:
Alexander Barkov
2017-04-19 05:21:36 +04:00
93 changed files with 581 additions and 348 deletions

View File

@ -3012,7 +3012,7 @@ static int mysql_create_routine(THD *thd, LEX *lex)
return false;
}
#ifdef WITH_WSREP
error:
error: /* Used by WSREP_TO_ISOLATION_BEGIN */
#endif
return true;
}