Skip to content

Conversation

michaelwoerister
Copy link
Member

@michaelwoerister
Copy link
Member Author

@bors p=1

@nikomatsakis
Copy link
Contributor

@bors r+

@bors
Copy link
Collaborator

bors commented Dec 18, 2017

📌 Commit a3c3245 has been approved by nikomatsakis

@bors
Copy link
Collaborator

bors commented Dec 18, 2017

⌛ Testing commit a3c3245 with merge b058dc0...

bors added a commit that referenced this pull request Dec 18, 2017
@bors
Copy link
Collaborator

bors commented Dec 18, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: nikomatsakis
Pushing b058dc0 to master...

@bors bors merged commit a3c3245 into rust-lang:master Dec 18, 2017
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