Skip to content

[trust-quorum] tla: let the coordinator receive its own commit - #11601

Draft
sunshowers wants to merge 1 commit into
mainfrom
sunshowers/spr/trust-quorum-tla-let-the-coordinator-receive-its-own-commit
Draft

[trust-quorum] tla: let the coordinator receive its own commit#11601
sunshowers wants to merge 1 commit into
mainfrom
sunshowers/spr/trust-quorum-tla-let-the-coordinator-receive-its-own-commit

Commits

  1. Commits on Oct 29, 2026