Skip to content

Conversation

tesuji
Copy link
Contributor

@tesuji tesuji commented Oct 19, 2019

cc rust-lang/rust#65585
changelog: none

@phansch
Copy link
Contributor

phansch commented Oct 19, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Oct 19, 2019

📌 Commit 4c7387e has been approved by phansch

@bors
Copy link
Contributor

bors commented Oct 19, 2019

⌛ Testing commit 4c7387e with merge dbc4040...

bors added a commit that referenced this pull request Oct 19, 2019
@bors
Copy link
Contributor

bors commented Oct 19, 2019

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

@bors bors merged commit 4c7387e into rust-lang:master Oct 19, 2019
@tesuji tesuji deleted the rustup-65535 branch October 19, 2019 06:11
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