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.

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

Fix typos #4112

Merged
merged 1 commit into from
Apr 20, 2022
Merged

Fix typos #4112

merged 1 commit into from
Apr 20, 2022

Conversation

rex4539
Copy link
Contributor

@rex4539 rex4539 commented Apr 13, 2022

No description provided.

@rex4539 rex4539 requested a review from a team as a code owner April 13, 2022 14:19
@rex4539 rex4539 requested review from dconnolly and removed request for a team April 13, 2022 14:19
Copy link
Contributor

@teor2345 teor2345 left a comment

Choose a reason for hiding this comment

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

We're actively editing these files at the moment, so I'm going to wait until they are finished.

(Some of the edits might delete or modify these comments, and that would cause conflicts with open PRs.)

@teor2345 teor2345 added C-bug Category: This is a bug A-docs Area: Documentation P-Low ❄️ do-not-merge Tells Mergify not to merge this PR labels Apr 14, 2022
@teor2345 teor2345 removed the do-not-merge Tells Mergify not to merge this PR label Apr 19, 2022
Copy link
Contributor

@teor2345 teor2345 left a comment

Choose a reason for hiding this comment

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

We've finished merging all our multi-PR branches, so hopefully people can resolve any conflicts this causes.

mergify bot added a commit that referenced this pull request Apr 19, 2022
mergify bot added a commit that referenced this pull request Apr 19, 2022
@mergify mergify bot merged commit ad971bb into ZcashFoundation:main Apr 20, 2022
@conradoplg conradoplg mentioned this pull request May 6, 2022
27 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-docs Area: Documentation C-bug Category: This is a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants