Skip to content

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