Skip to content

Rollup of 5 pull requests - #32046

Merged
alexcrichton merged 13 commits into
rust-lang:masterfrom
steveklabnik:rollup
Mar 5, 2016
Merged

Rollup of 5 pull requests#32046
alexcrichton merged 13 commits into
rust-lang:masterfrom
steveklabnik:rollup

Conversation

@steveklabnik

Copy link
Copy Markdown
ContributorAuthor

@bors: r+ p=1

@bors

bors commented Mar 4, 2016

Copy link
Copy Markdown
Collaborator

📌 Commit d5aeb76 has been approved by steveklabnik

@bors

bors commented Mar 4, 2016

Copy link
Copy Markdown
Collaborator

⌛ Testing commit d5aeb76 with merge da0ccd8...

bors added a commit that referenced this pull request Mar 4, 2016
@alexcrichton

Copy link
Copy Markdown
Member

One of the bots disappeared but this otherwise passed everywhere so merging manually.

@alexcrichton
alexcrichton merged commit d5aeb76 into rust-lang:masterMar 5, 2016
@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

@steveklabnik@bors@alexcrichton@Centril@srinivasreddy@brson@ubsan@Seeker14491