Skip to content

Conversation

@steveklabnik
Copy link
Contributor

Fixes #13082

r? @brson

@brson
Copy link
Contributor

brson commented Jan 23, 2015

@bors: r+ a808070 rollup

@bors
Copy link
Collaborator

bors commented Jan 23, 2015

🙀 You have the wrong number! Please try again with a808070.

@brson
Copy link
Contributor

brson commented Jan 23, 2015

@bors: r+ a808070 rollup

flaper87 added a commit to flaper87/rust that referenced this pull request Jan 23, 2015
flaper87 added a commit to flaper87/rust that referenced this pull request Jan 24, 2015
bors added a commit that referenced this pull request Jan 25, 2015
@bors bors merged commit a808070 into rust-lang:master Jan 25, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants