Skip to content

Conversation

@phansch
Copy link
Contributor

@phansch phansch commented May 23, 2019

@phansch
Copy link
Contributor Author

phansch commented May 23, 2019

Seems like a straightforward fix, so I'm going to

@bors r+

to be able to update rust-lang/rust#61074 once again.

@bors
Copy link
Contributor

bors commented May 23, 2019

📌 Commit a316179 has been approved by phansch

@bors
Copy link
Contributor

bors commented May 23, 2019

⌛ Testing commit a316179 with merge c984f77...

@bors
Copy link
Contributor

bors commented May 23, 2019

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

@bors bors merged commit a316179 into rust-lang:master May 23, 2019
@phansch phansch deleted the rustup2 branch May 23, 2019 19: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.

2 participants