Skip to content

fixed failing proof in byzpaxos/VoteProof#197

Merged
muenchnerkindl merged 1 commit intomasterfrom
fixproof
Jan 16, 2026
Merged

fixed failing proof in byzpaxos/VoteProof#197
muenchnerkindl merged 1 commit intomasterfrom
fixproof

Commits

Commits on Jan 16, 2026