Skip to content

Conversation

pietroalbini
Copy link
Member

Successful merges:

Failed merges:

r? @ghost

@pietroalbini
Copy link
Member Author

@bors r+ p=4 rollup=never
@rustbot modify labels: rollup

@bors
Copy link
Collaborator

bors commented Jan 27, 2020

📌 Commit 5f9284c has been approved by pietroalbini

@rustbot rustbot added the rollup A PR which is a rollup label Jan 27, 2020
@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jan 27, 2020
bors added a commit that referenced this pull request Jan 27, 2020
Rollup of 4 pull requests

Successful merges:

 - #67928 (Update RELEASES.md for 1.41.0)
 - #68370 (Ensure that we error when calling "const extern fn" with wrong convention)
 - #68531 ([self-profiler] Two small cleanups)
 - #68562 (Fix spelling errors)

Failed merges:

r? @ghost
@bors
Copy link
Collaborator

bors commented Jan 27, 2020

⌛ Testing commit 5f9284c with merge 8a79d08...

@bors
Copy link
Collaborator

bors commented Jan 27, 2020

☀️ Test successful - checks-azure
Approved by: pietroalbini
Pushing 8a79d08 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jan 27, 2020
@bors bors merged commit 5f9284c into rust-lang:master Jan 27, 2020
@pietroalbini pietroalbini deleted the rollup-22hbo3e branch December 23, 2020 23:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. rollup A PR which is a rollup S-waiting-on-bors Status: 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.

6 participants