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 typo #74032

Closed
wants to merge 2 commits into from
Closed

fix typo #74032

wants to merge 2 commits into from

Conversation

VillSnow
Copy link
Contributor

@VillSnow VillSnow commented Jul 4, 2020

Fix typo which is pointed out after #73577 is merged

@rust-highfive
Copy link
Collaborator

r? @cramertj

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 4, 2020
@Mark-Simulacrum
Copy link
Member

r? @Mark-Simulacrum

r=me with the merge commit removed (likely by rebasing)

@Mark-Simulacrum Mark-Simulacrum added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jul 15, 2020
@bors
Copy link
Contributor

bors commented Jul 28, 2020

☔ The latest upstream changes (presumably #73265) made this pull request unmergeable. Please resolve the merge conflicts.

@Muirrum
Copy link
Member

Muirrum commented Aug 13, 2020

@VillSnow What's the status of this PR? There are outstanding merge conflicts.

@Mark-Simulacrum
Copy link
Member

This appears to have been fixed on master, so I'm going to close this. Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants