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 to rust-lang/rust#65647 #4715

Merged
merged 2 commits into from Oct 23, 2019
Merged

Rustup to rust-lang/rust#65647 #4715

merged 2 commits into from Oct 23, 2019

Conversation

flip1995
Copy link
Member

cc rust-lang/rust#65647

waiting on rust-lang/rust#65690

changelog: none

@phansch
Copy link
Member

phansch commented Oct 22, 2019

r=me once the Rust PR is merged

@phansch
Copy link
Member

phansch commented Oct 22, 2019

Ah note that rust-lang/rust#65474 is currently testing, which will require the rustc-dev toolchain to be added again @flip1995

@flip1995
Copy link
Member Author

flip1995 commented Oct 22, 2019

Thanks, the fix for this was to add -c rustc-dev to RTIM, right?

@tesuji
Copy link
Contributor

tesuji commented Oct 22, 2019

You could revert 974a05b.

@phansch
Copy link
Member

phansch commented Oct 23, 2019

@bors r+

@bors
Copy link
Collaborator

bors commented Oct 23, 2019

📌 Commit e8d5a9e has been approved by phansch

@bors
Copy link
Collaborator

bors commented Oct 23, 2019

⌛ Testing commit e8d5a9e with merge 9a2e500...

bors added a commit that referenced this pull request Oct 23, 2019
@bors
Copy link
Collaborator

bors commented Oct 23, 2019

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

@bors bors merged commit e8d5a9e into master Oct 23, 2019
@flip1995 flip1995 deleted the rustup branch October 23, 2019 12:07
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.

None yet

4 participants