docs: link coordinator ledger PR

This commit is contained in:
Amruth Pillai
2026-09-05 23:11:42 +02:00
parent 04029ec7f5
commit 7c827a42f0
@@ -78,4 +78,5 @@ state changes are outside scope.
## Publication log
- Coordinator ledger: PR #3456 (`codex/issue-execution-ledger` → `main`), open and intentionally unmerged.
- No implementation PRs published by this run yet.