New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: fix some typos #1600

Merged

bugarela merged 2 commits into informalsystems:main from tcpdumppy:main

Mar 7, 2025

Contributor

tcpdumppy commented Mar 7, 2025 •

edited

Loading

Tests added for any new code
Documentation added for any new functionality
Entries added to the respective CHANGELOG.md for any new functionality
Feature table on README.md updated for any listed functionality

fix some typos


          chore: fix some typos

beeee83

Signed-off-by: tcpdumppy <[email protected]>

bugarela approved these changes

View reviewed changes

Collaborator

bugarela left a comment

Thank you!


          Merge branch 'main' into main

2e78eed

bugarela merged commit 2c378f7 into informalsystems:main

14 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet