Skip to content

Rollup of 4 pull requests - #60748

Merged
bors merged 8 commits into
rust-lang:masterfrom
Centril:rollup-rr63jqo
May 12, 2019
Merged

Rollup of 4 pull requests#60748
bors merged 8 commits into
rust-lang:masterfrom
Centril:rollup-rr63jqo

Conversation

@Centril

Copy link
Copy Markdown
Contributor

Successful merges:

Failed merges:

r? @ghost

estebankand others added 8 commits May 10, 2019 17:57
Removed the redundant "let mut" in the write_graph_label function (it caused "let mut let mut" for non-user-defined local variables).
…arkor
Cleanup the .await HIR lowering with .stmt(..).
r? @cramertj
…h-label, r=varkor
Remove redundant "let mut" in write_graph_label
Removed the redundant "let mut" in the write_graph_label function (it caused "let mut let mut" for non-user-defined local variables).
@Centril

Copy link
Copy Markdown
ContributorAuthor

@bors r+ p=4 rollup=never

@bors

bors commented May 11, 2019

Copy link
Copy Markdown
Collaborator

📌 Commit f2dd97c has been approved by Centril

@borsbors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label May 11, 2019
@bors

bors commented May 11, 2019

Copy link
Copy Markdown
Collaborator

⌛ Testing commit f2dd97c with merge d28e948...

bors added a commit that referenced this pull request May 11, 2019
Rollup of 4 pull requests
Successful merges:
- #60720 (Remove unnecessary unwraps)
- #60727 (add comment to `Rc`/`Arc`'s `Eq` specialization)
- #60733 (Cleanup the .await HIR lowering with .stmt(..).)
- #60741 (Remove redundant "let mut" in write_graph_label)
Failed merges:
r? @ghost
@bors

bors commented May 12, 2019

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-travis, status-appveyor
Approved by: Centril
Pushing d28e948 to master...

@borsbors added the merged-by-bors This PR was explicitly merged by bors. label May 12, 2019
@bors
bors merged commit f2dd97c into rust-lang:masterMay 12, 2019
@Centril
Centril deleted the rollup-rr63jqo branch May 12, 2019 01:17
@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

merged-by-borsThis PR was explicitly merged by bors.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.

5 participants

@Centril@bors@estebank@chpio@shiatsumat