Skip to content

Conversation

@aidanhs
Copy link
Contributor

@aidanhs aidanhs commented Apr 23, 2017

@rust-highfive
Copy link

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@alexcrichton
Copy link
Member

@bors: r+

@bors
Copy link
Contributor

bors commented Apr 23, 2017

📌 Commit 80d39ca has been approved by alexcrichton

@bors
Copy link
Contributor

bors commented Apr 23, 2017

⌛ Testing commit 80d39ca with merge 03efb7f...

bors added a commit that referenced this pull request Apr 23, 2017
@bors
Copy link
Contributor

bors commented Apr 23, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: alexcrichton
Pushing 03efb7f to master...

@bors bors merged commit 80d39ca into rust-lang:master Apr 23, 2017
@ehuss ehuss added this to the 1.18.0 milestone Feb 6, 2022
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.

5 participants