Skip to content

Rollup of 7 pull requests - #46127

Closed
kennytm wants to merge 0 commit into
rust-lang:masterfrom
kennytm:rollup
Closed

Rollup of 7 pull requests#46127
kennytm wants to merge 0 commit into
rust-lang:masterfrom
kennytm:rollup

Conversation

@kennytm

Copy link
Copy Markdown
MemberAuthor

@bors r+ p=8

@bors

bors commented Nov 20, 2017

Copy link
Copy Markdown
Collaborator

📌 Commit 9a1ce9d has been approved by kennytm

@kennytmkennytm added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Nov 20, 2017
@kennytm

Copy link
Copy Markdown
MemberAuthor

@bors r+

Removed #45635 — the git history is a bit messy.

@bors

bors commented Nov 20, 2017

Copy link
Copy Markdown
Collaborator

📌 Commit 04e4be3 has been approved by kennytm

@kennytmkennytm changed the title Rollup of 8 pull requestsRollup of 7 pull requestsNov 20, 2017
@kennytmkennytm closed this Nov 20, 2017
@CentrilCentril added the rollup A PR which is a rollup label Oct 24, 2019
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

rollupA PR which is a rollupS-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@kennytm@bors@Centril