Skip to content

Handle leader task being dead in RestoreState#3502

Merged
schmichael merged 1 commit intomasterfrom b-3420-restore-dead-leaderNov 15, 2017

Commits

Commits on Nov 15, 2017