diff options
| author | Paul Buetow <paul@buetow.org> | 2026-03-27 13:30:14 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-03-27 13:30:14 +0200 |
| commit | 0bebec08cd89039c32bd9b9e73d80d573b6bf0b3 (patch) | |
| tree | 429222b73e259a3f1e3f2d9d229164a4841b41f3 /saved-simulations/raft.dat | |
| parent | 35def2831acd67ace6943e06f502a356529c3357 (diff) | |
sr: fix Raft replay leader election
Diffstat (limited to 'saved-simulations/raft.dat')
| -rw-r--r-- | saved-simulations/raft.dat | bin | 14533 -> 14533 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/saved-simulations/raft.dat b/saved-simulations/raft.dat Binary files differindex 5738148..262809a 100644 --- a/saved-simulations/raft.dat +++ b/saved-simulations/raft.dat |