Skip to content

Don't use spaces before type ascription like colons #68517

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Jan 26, 2020

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Jan 24, 2020

Split out of #67133 to make that PR simpler

r? @eddyb

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 24, 2020
@bors
Copy link
Collaborator

bors commented Jan 25, 2020

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

@oli-obk
Copy link
Contributor Author

oli-obk commented Jan 25, 2020

rebased

@nagisa
Copy link
Member

nagisa commented Jan 25, 2020

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 25, 2020

📌 Commit ae31436 has been approved by nagisa

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jan 25, 2020
@bors
Copy link
Collaborator

bors commented Jan 26, 2020

⌛ Testing commit ae31436 with merge fe1e815...

bors added a commit that referenced this pull request Jan 26, 2020
Don't use spaces before type ascription like colons

Split out of #67133 to make that PR simpler

r? @eddyb
@bors
Copy link
Collaborator

bors commented Jan 26, 2020

☀️ Test successful - checks-azure
Approved by: nagisa
Pushing fe1e815 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jan 26, 2020
@bors bors merged commit ae31436 into rust-lang:master Jan 26, 2020
@oli-obk oli-obk deleted the spaces2 branch March 16, 2021 12:14
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants