Skip to content

syntax: Rename P::unwrap into something less alarming #46778

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.

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

Merged
merged 1 commit into from
Dec 17, 2017

Conversation

petrochenkov
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Contributor

r? @eddyb

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

@arielb1
Copy link
Contributor

arielb1 commented Dec 17, 2017

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 17, 2017

📌 Commit a4aa26a has been approved by arielb1

@arielb1
Copy link
Contributor

arielb1 commented Dec 17, 2017

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 17, 2017

💡 This pull request was already approved, no need to approve it again.

@bors
Copy link
Collaborator

bors commented Dec 17, 2017

📌 Commit a4aa26a has been approved by arielb1

@bors
Copy link
Collaborator

bors commented Dec 17, 2017

⌛ Testing commit a4aa26a with merge 53a6d14...

bors added a commit that referenced this pull request Dec 17, 2017
syntax: Rename `P::unwrap` into something less alarming
@bors
Copy link
Collaborator

bors commented Dec 17, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: arielb1
Pushing 53a6d14 to master...

@bors bors merged commit a4aa26a into rust-lang:master Dec 17, 2017
@petrochenkov petrochenkov deleted the nounwrap branch June 5, 2019 15:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants