Skip to content

Conversation

ahmedcharles
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Contributor

r? @aturon

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

@alexcrichton
Copy link
Member

@bors: r+ 08e470f

Manishearth added a commit to Manishearth/rust that referenced this pull request Aug 13, 2016
@eddyb
Copy link
Member

eddyb commented Aug 14, 2016

@bors rollup

eddyb added a commit to eddyb/rust that referenced this pull request Aug 14, 2016
eddyb added a commit to eddyb/rust that referenced this pull request Aug 14, 2016
bors added a commit that referenced this pull request Aug 14, 2016
@bors bors merged commit 08e470f into rust-lang:master Aug 15, 2016
@ahmedcharles ahmedcharles deleted the dead branch August 15, 2016 02:05
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.

6 participants