Skip to content
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

Fix merge from main #9837

Merged
merged 1 commit into from
Dec 6, 2022
Merged

Fix merge from main #9837

merged 1 commit into from
Dec 6, 2022

Conversation

sergio-mena
Copy link
Contributor

Contributes to #9396

Fix abci-cli help test case brought into the branch via the last merge

PR checklist

  • Tests written/updated, or no tests needed
  • CHANGELOG_PENDING.md updated, or no changelog entry needed
  • Updated relevant documentation (docs/) and code comments, or no
    documentation updates needed

@sergio-mena sergio-mena requested a review from a team December 5, 2022 10:37
@sergio-mena sergio-mena self-assigned this Dec 5, 2022
@sergio-mena sergio-mena merged commit 1d91181 into feature/abci++vef Dec 6, 2022
@sergio-mena sergio-mena deleted the sergio/fix-merge-main-to-abci++vef branch December 6, 2022 09:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@williambanfield williambanfield williambanfield approved these changes

@ebuchman ebuchman Awaiting requested review from ebuchman

@adizere adizere Awaiting requested review from adizere

@lasarojc lasarojc Awaiting requested review from lasarojc

Assignees

@sergio-mena sergio-mena

Labels
None yet
Projects
Tendermint
Status: Done/Merged
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@sergio-mena @williambanfield