Skip to content

rustup - #1500

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:rustup
Aug 8, 2020
Merged

rustup#1500
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:rustup

Conversation

@RalfJung

@RalfJung RalfJung commented Aug 8, 2020

Copy link
Copy Markdown
Member

Adjust for rust-lang/rust#74932.
Blocked on rust-lang/rust#75282.

@RalfJung

RalfJung commented Aug 8, 2020

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Aug 8, 2020

Copy link
Copy Markdown
Contributor

📌 Commit 9ddb4fd has been approved by RalfJung

@bors

bors commented Aug 8, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit 9ddb4fd with merge 193458d...

bors added a commit that referenced this pull request Aug 8, 2020
@bors

bors commented Aug 8, 2020

Copy link
Copy Markdown
Contributor

💔 Test failed - status-appveyor

@RalfJung

RalfJung commented Aug 8, 2020

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Aug 8, 2020

Copy link
Copy Markdown
Contributor

📌 Commit 07a4383 has been approved by RalfJung

@bors

bors commented Aug 8, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit 07a4383 with merge 302ccf4...

@bors

bors commented Aug 8, 2020

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing 302ccf4 to master...

@bors
bors merged commit 302ccf4 into rust-lang:master Aug 8, 2020
@RalfJung
RalfJung deleted the rustup branch August 8, 2020 12:48
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