1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Merge 10.1 into 10.2

This commit is contained in:
Marko Mäkelä
2018-11-06 08:41:48 +02:00
277 changed files with 16966 additions and 4246 deletions

View File

@ -621,10 +621,9 @@ end:
my_ok(thd);
DBUG_RETURN(result);
#ifdef WITH_WSREP
error:
WSREP_ERROR_LABEL:
DBUG_RETURN(true);
#endif /* WITH_WSREP */
}