Skip to content

Conversation

cramertj
Copy link
Member

@cramertj cramertj commented Mar 3, 2017

Fix #40235

@rust-highfive
Copy link
Contributor

r? @pnkfelix

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

@petrochenkov
Copy link
Contributor

@bors r+

@bors
Copy link
Collaborator

bors commented Mar 3, 2017

📌 Commit 75a35ef has been approved by petrochenkov

@bors
Copy link
Collaborator

bors commented Mar 4, 2017

⌛ Testing commit 75a35ef with merge 73d31e3...

bors added a commit that referenced this pull request Mar 4, 2017
@bors
Copy link
Collaborator

bors commented Mar 4, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: petrochenkov
Pushing 73d31e3 to master...

@bors bors merged commit 75a35ef into rust-lang:master Mar 4, 2017
@cramertj cramertj deleted the fix-while-let-ribs-scope branch March 4, 2017 19:51
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