Hector Sanjuan 199dbb944a Raft/PeerRm: attempt more orderly peer removal ... Wait until FSM has applied the operation. License: MIT Signed-off-by: Hector Sanjuan <hector@protocol.ai>		2017-11-01 12:17:33 +01:00
..
raft	Raft/PeerRm: attempt more orderly peer removal	2017-11-01 12:17:33 +01:00