Skip to content

[beta] Rollup backports #55289

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Oct 23, 2018
Merged

[beta] Rollup backports #55289

merged 2 commits into from
Oct 23, 2018

Conversation

pietroalbini
Copy link
Member

Merged and approved:

r? @ghost

@pietroalbini
Copy link
Member Author

@bors r+ p=50

@bors
Copy link
Collaborator

bors commented Oct 23, 2018

📌 Commit 28db663 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 23, 2018
@bors
Copy link
Collaborator

bors commented Oct 23, 2018

⌛ Testing commit 28db663 with merge c977fb2...

bors added a commit that referenced this pull request Oct 23, 2018
@bors
Auto merge of #55289 - pietroalbini:beta-backports, r=pietroalbini
c977fb2 
[beta] Rollup backports

Merged and approved:

* #55231: pick a reference issue for absolute-paths future incompatibility info
* #55224: Use a keyword in raw identifier example

r? @ghost
@bors
Copy link
Collaborator

bors commented Oct 23, 2018

💔 Test failed - status-travis

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Oct 23, 2018
@pietroalbini
Copy link
Member Author

@bors retry (spurious)

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Oct 23, 2018
@bors
Copy link
Collaborator

bors commented Oct 23, 2018

⌛ Testing commit 28db663 with merge f33946f...

bors added a commit that referenced this pull request Oct 23, 2018
@bors
Auto merge of #55289 - pietroalbini:beta-backports, r=pietroalbini
f33946f 
[beta] Rollup backports

Merged and approved:

* #55231: pick a reference issue for absolute-paths future incompatibility info
* #55224: Use a keyword in raw identifier example

r? @ghost
@bors
Copy link
Collaborator

bors commented Oct 23, 2018

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

@bors bors merged commit 28db663 into rust-lang:beta Oct 23, 2018
@pietroalbini pietroalbini deleted the beta-backports branch October 24, 2018 11:55
@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
Reviewers
No reviews
Assignees
No one assigned
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
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@pietroalbini @bors @Centril @zackmdavis @kryptan