Skip to content

Conversation

tesuji
Copy link
Contributor

@tesuji tesuji commented Sep 26, 2019

changelog: none

@flip1995
Copy link
Member

Thanks, I also just did that: https://github.com/flip1995/rust-clippy/tree/rustup 😄

@bors r+ p=10

@bors
Copy link
Contributor

bors commented Sep 26, 2019

📌 Commit 5437192 has been approved by flip1995

@bors
Copy link
Contributor

bors commented Sep 26, 2019

⌛ Testing commit 5437192 with merge 3335209...

bors added a commit that referenced this pull request Sep 26, 2019
@bors
Copy link
Contributor

bors commented Sep 26, 2019

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

@bors bors merged commit 5437192 into rust-lang:master Sep 26, 2019
@tesuji tesuji deleted the rustup branch September 26, 2019 10:09
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.

3 participants