Skip to content

Rename instant_finality_extension to finality_extension#364

Merged
heifner merged 2 commits intomainfrom GH-353-finality-nameJul 15, 2024

Commits

Commits on Jul 12, 2024

Commits on Jul 15, 2024