raft: fix TLA+ specification to match unapplied config guard#458
Open
CharlieQiu2017 wants to merge 1 commit into
Open
raft: fix TLA+ specification to match unapplied config guard#458CharlieQiu2017 wants to merge 1 commit into
CharlieQiu2017 wants to merge 1 commit into
