Skip to content

Fix trivial typo#4106

Merged
melekes merged 2 commits intotendermint:masterfrom
corollari:patch-2
Nov 5, 2019
Merged

Fix trivial typo#4106
melekes merged 2 commits intotendermint:masterfrom
corollari:patch-2

Conversation

@corollari
Copy link
Contributor

PR is trivial

Copy link
Contributor

@tessr tessr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for your contribution. No fix is too trivial!

Copy link
Contributor

@melekes melekes left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@melekes melekes merged commit 0a014e3 into tendermint:master Nov 5, 2019
@corollari
Copy link
Contributor Author

Just wanted to chime in to say that this has been the best experience I've had submitting a PR, kudos!

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants