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.

6 participants