Skip to content

rustup - #1903

Merged
bors merged 1 commit into
rust-lang:masterfrom
bjorn3:rustup
Oct 26, 2021
Merged

rustup#1903
bors merged 1 commit into
rust-lang:masterfrom
bjorn3:rustup

Conversation

@bjorn3

@bjorn3 bjorn3 commented Oct 26, 2021

Copy link
Copy Markdown
Member

@oli-obk

oli-obk commented Oct 26, 2021

Copy link
Copy Markdown
Contributor

@bors r+

@bors

bors commented Oct 26, 2021

Copy link
Copy Markdown
Contributor

📌 Commit 9944a2d has been approved by oli-obk

@bors

bors commented Oct 26, 2021

Copy link
Copy Markdown
Contributor

⌛ Testing commit 9944a2d with merge 04e5c78...

@bors

bors commented Oct 26, 2021

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 04e5c78 to master...

@bors
bors merged commit 04e5c78 into rust-lang:master Oct 26, 2021
@bjorn3
bjorn3 deleted the rustup branch October 30, 2021 12:08
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