Skip to content

Rustup to rust-lang/rust#67803 and rust-lang/rust#67137#4996

Merged
bors merged 2 commits into
rust-lang:masterfrom
JohnTitor:rustup
Jan 5, 2020
Merged

Rustup to rust-lang/rust#67803 and rust-lang/rust#67137#4996
bors merged 2 commits into
rust-lang:masterfrom
JohnTitor:rustup

Conversation

@JohnTitor

Copy link
Copy Markdown
Member

changelog: none

@matthiaskrgr

Copy link
Copy Markdown
Member

I was just looking into that.. 😅
r=me if you think it's ready. :)

@JohnTitor

Copy link
Copy Markdown
Member Author

Formatted, let's move on :)

@matthiaskrgr

Copy link
Copy Markdown
Member

@bors r+

@bors

bors commented Jan 5, 2020

Copy link
Copy Markdown
Contributor

📌 Commit 17cfc77 has been approved by matthiaskrgr

@bors

bors commented Jan 5, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit 17cfc77 with merge 8ac8d76...

bors added a commit that referenced this pull request Jan 5, 2020
@bors

bors commented Jan 5, 2020

Copy link
Copy Markdown
Contributor

💥 Test timed out

@matthiaskrgr

Copy link
Copy Markdown
Member

@bors retry

@bors

bors commented Jan 5, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit 17cfc77 with merge 732825d...

bors added a commit that referenced this pull request Jan 5, 2020
@bors

bors commented Jan 5, 2020

Copy link
Copy Markdown
Contributor

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

@bors bors merged commit 17cfc77 into rust-lang:master Jan 5, 2020
@JohnTitor JohnTitor deleted the rustup branch January 5, 2020 10:14
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