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