Skip to content

Conversation

tesuji
Copy link
Contributor

@tesuji tesuji commented Nov 8, 2019

cc rust-lang/rust#65916
changelog: none

@tesuji
Copy link
Contributor Author

tesuji commented Nov 8, 2019

r? @Manishearth

@Manishearth
Copy link
Member

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Nov 8, 2019

📌 Commit 1a442d8 has been approved by Manishearth

@bors
Copy link
Contributor

bors commented Nov 8, 2019

⌛ Testing commit 1a442d8 with merge 4896a9c...

bors added a commit that referenced this pull request Nov 8, 2019
@tesuji
Copy link
Contributor Author

tesuji commented Nov 8, 2019

@bors r-
Need to run format tool

@tesuji
Copy link
Contributor Author

tesuji commented Nov 8, 2019

Done.

@Manishearth
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Nov 8, 2019

📌 Commit ff5bf67 has been approved by Manishearth

@bors
Copy link
Contributor

bors commented Nov 8, 2019

⌛ Testing commit ff5bf67 with merge 4192dbe...

bors added a commit that referenced this pull request Nov 8, 2019
@bors
Copy link
Contributor

bors commented Nov 8, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: Manishearth
Pushing 4192dbe to master...

@bors bors merged commit ff5bf67 into rust-lang:master Nov 8, 2019
@tesuji tesuji deleted the rustup-65916 branch November 8, 2019 04: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