Skip to content

Conversation

pietroalbini
Copy link
Member

Merged and approved:

r? @ghost

@pietroalbini
Copy link
Member Author

@bors r+ p=10

@bors
Copy link
Collaborator

bors commented Oct 18, 2018

📌 Commit b2e0bee has been approved by pietroalbini

@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 Oct 18, 2018
@bors
Copy link
Collaborator

bors commented Oct 18, 2018

⌛ Testing commit b2e0bee with merge 777a59a...

bors added a commit that referenced this pull request Oct 18, 2018
[beta] Rollup backports

Merged and approved:

* #54300: Updated RELEASES.md for 1.30.0
* #54939: rustdoc: don't prefer dynamic linking in doc tests
* #54671: resolve: Scale back hard-coded extern prelude additions on 2015 edition
* #55102: resolve: Do not skip extern prelude during speculative resolution

r? @ghost
@bors
Copy link
Collaborator

bors commented Oct 18, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: pietroalbini
Pushing 777a59a to beta...

@bors bors merged commit b2e0bee into rust-lang:beta Oct 18, 2018
@pietroalbini pietroalbini deleted the beta-backports branch October 18, 2018 18:18
@Centril Centril added the rollup A PR which is a rollup label Oct 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
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