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

cleanup: galera merge, simple changes

This commit is contained in:
Sergei Golubchik
2014-09-25 23:00:45 +02:00
parent b04f848176
commit 3620910eea
69 changed files with 492 additions and 699 deletions

View File

@ -3659,6 +3659,8 @@ reexecute:
case MUST_REPLAY:
(void)wsrep_replay_transaction(thd);
break;
default:
break;
}