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

rustup https://github.com/rust-lang/rust/pull/61164 #4152

Merged
merged 1 commit into from
May 28, 2019

Conversation

matthiaskrgr
Copy link
Member

(which is included in rust-lang/rust#61274)

changelog: none

@matthiaskrgr
Copy link
Member Author

Note, the PR has not been merged yet but it's only a matter of time until clippy breaks again.

@matthiaskrgr
Copy link
Member Author

@bors r+

@bors
Copy link
Collaborator

bors commented May 28, 2019

📌 Commit c9cc11e has been approved by matthiaskrgr

@bors
Copy link
Collaborator

bors commented May 28, 2019

⌛ Testing commit c9cc11e with merge 487e6eb...

bors added a commit that referenced this pull request May 28, 2019
@bors
Copy link
Collaborator

bors commented May 28, 2019

💔 Test failed - checks-travis

@matthiaskrgr
Copy link
Member Author

@bors retry

@bors
Copy link
Collaborator

bors commented May 28, 2019

⌛ Testing commit c9cc11e with merge a05f18e...

bors added a commit that referenced this pull request May 28, 2019
@bors
Copy link
Collaborator

bors commented May 28, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: matthiaskrgr
Pushing a05f18e to master...

@bors bors merged commit c9cc11e into rust-lang:master May 28, 2019
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.

2 participants