Skip to content

Conversation

steveklabnik
Copy link
Contributor

Fixes #9447

@bluss
Copy link
Contributor

bluss commented Mar 4, 2016

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Mar 4, 2016

📌 Commit 096409c has been approved by bluss

@alexcrichton alexcrichton self-assigned this Mar 6, 2016
@bors
Copy link
Collaborator

bors commented Mar 7, 2016

⌛ Testing commit 096409c with merge 79f914f...

bors added a commit that referenced this pull request Mar 7, 2016
@bors bors merged commit 096409c into rust-lang:master Mar 7, 2016
@steveklabnik steveklabnik deleted the gh9447 branch June 19, 2016 20:30
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.

4 participants