Skip to content

trivial: rename ExecutedTrees -> LedgerSummary#15444

Merged
msmouse merged 1 commit intomainfrom 1202-alden-LedgerSummaryDec 2, 2024

Commits

Commits on Dec 2, 2024