Skip to content

Rollup of 5 pull requests - #28529

Merged
bors merged 10 commits into
rust-lang:masterfrom
Manishearth:rollup
Sep 20, 2015
Merged

Rollup of 5 pull requests#28529
bors merged 10 commits into
rust-lang:masterfrom
Manishearth:rollup

Conversation

@rust-highfive

Copy link
Copy Markdown
Contributor

r? @nrc

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

@Manishearth

Copy link
Copy Markdown
MemberAuthor

@bors r+ p=20

@bors

bors commented Sep 20, 2015

Copy link
Copy Markdown
Collaborator

📌 Commit d7ec69a has been approved by Manishearth

@ManishearthManishearth assigned Manishearth and unassigned nrcSep 20, 2015
bors added a commit that referenced this pull request Sep 20, 2015
@bors

bors commented Sep 20, 2015

Copy link
Copy Markdown
Collaborator

⌛ Testing commit d7ec69a with merge 25aaeb4...

@bors
bors merged commit d7ec69a into rust-lang:masterSep 20, 2015
@CentrilCentril added the rollup A PR which is a rollup label Oct 2, 2019
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

rollupA PR which is a rollup

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants

@Manishearth@rust-highfive@bors@nrc@Centril@johncf@apasel422@Wallacoloo