Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

Fixes #46609.

@rust-highfive
Copy link
Contributor

r? @petrochenkov

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

@petrochenkov
Copy link
Contributor

@bors r+

@bors
Copy link
Collaborator

bors commented Dec 10, 2017

📌 Commit 4847294 has been approved by petrochenkov

@bors
Copy link
Collaborator

bors commented Dec 10, 2017

⌛ Testing commit 4847294 with merge 02b4d3d...

bors added a commit that referenced this pull request Dec 10, 2017
@bors
Copy link
Collaborator

bors commented Dec 10, 2017

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

@bors bors merged commit 4847294 into rust-lang:master Dec 10, 2017
@GuillaumeGomez GuillaumeGomez deleted the type-mismatch branch December 10, 2017 11:40
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.

4 participants