Skip to content

Conversation

JohnTitor
Copy link
Member

changelog: none

@phansch
Copy link
Contributor

phansch commented Feb 24, 2020

@bors r+ thanks!

@bors
Copy link
Contributor

bors commented Feb 24, 2020

📌 Commit 036ec5b has been approved by phansch

@bors
Copy link
Contributor

bors commented Feb 24, 2020

⌛ Testing commit 036ec5b with merge fc5d0cc...

@bors
Copy link
Contributor

bors commented Feb 24, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: phansch
Pushing fc5d0cc to master...

@bors bors merged commit fc5d0cc into rust-lang:master Feb 24, 2020
@JohnTitor JohnTitor deleted the rustup branch February 24, 2020 06:15
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