Skip to content

Merge pull request #1122 from informalsystems/th/verify-pretty #2564

Merge pull request #1122 from informalsystems/th/verify-pretty

Merge pull request #1122 from informalsystems/th/verify-pretty #2564