Skip to content
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

AST/HIR: Add a separate structure for labels #47502

Merged
merged 1 commit into from
Jan 26, 2018
Merged

AST/HIR: Add a separate structure for labels #47502

merged 1 commit into from
Jan 26, 2018

Conversation

petrochenkov
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Collaborator

r? @pnkfelix

(rust_highfive has picked a reviewer for you, use r? to override)

@petrochenkov
Copy link
Contributor Author

r? @eddyb

@rust-highfive rust-highfive assigned eddyb and unassigned pnkfelix Jan 16, 2018
@eddyb
Copy link
Member

eddyb commented Jan 17, 2018

@bors r+

@bors
Copy link
Contributor

bors commented Jan 17, 2018

📌 Commit 432f5b0 has been approved by eddyb

@kennytm kennytm added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jan 17, 2018
@bors
Copy link
Contributor

bors commented Jan 22, 2018

☔ The latest upstream changes (presumably #47644) made this pull request unmergeable. Please resolve the merge conflicts.

@petrochenkov
Copy link
Contributor Author

@bors r=eddyb

@bors
Copy link
Contributor

bors commented Jan 22, 2018

📌 Commit 2d56abf has been approved by eddyb

alexcrichton added a commit to alexcrichton/rust that referenced this pull request Jan 25, 2018
@alexcrichton
Rollup merge of rust-lang#47502 - petrochenkov:label, r=eddyb
98b3754 
AST/HIR: Add a separate structure for labels
@alexcrichton alexcrichton mentioned this pull request Jan 25, 2018
Merged
bors added a commit that referenced this pull request Jan 26, 2018
@bors
Auto merge of #47748 - alexcrichton:rollup, r=alexcrichton
bacb5c5 
Rollup of 19 pull requests

- Successful merges: #47415, #47437, #47439, #47453, #47460, #47502, #47529, #47600, #47607, #47618, #47626, #47656, #47668, #47696, #47701, #47705, #47710, #47711, #47719
- Failed merges: #47455, #47521
@bors bors merged commit 2d56abf into rust-lang:master Jan 26, 2018
@petrochenkov petrochenkov deleted the label branch June 5, 2019 16:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@eddyb eddyb

Labels
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.
6 participants
@petrochenkov @rust-highfive @eddyb @bors @kennytm @pnkfelix