mirror of
https://github.com/MariaDB/server.git
synced 2025-08-09 22:24:09 +03:00
fixes for wsrep-5.5 merges
This commit is contained in:
@@ -424,8 +424,8 @@ int wsrep_thd_is_brute_force(void *thd_ptr)
|
||||
case TOTAL_ORDER: return 2;
|
||||
case LOCAL_COMMIT: return 3;
|
||||
}
|
||||
}
|
||||
DBUG_ASSERT(0);
|
||||
}
|
||||
return 0;
|
||||
}
|
||||
|
||||
|
Reference in New Issue
Block a user