Skip to content

Fix clippy build failure #4907

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, 2019
Merged

Conversation

krishna-veerareddy
Copy link
Contributor

@krishna-veerareddy krishna-veerareddy commented Dec 17, 2019

Clippy build fails because the feature result_map_or has been stabilized in v1.41.0 but we still have an explicit feature attribute for it.

changelog: none

Clippy build fails because the feature `result_map_or` has been
stabilized in v1.41.0 but we still have an explicit feature
attribute for it.
@phansch
Copy link
Member

phansch commented Dec 17, 2019

@bors r+ thanks!

@bors
Copy link
Contributor

bors commented Dec 17, 2019

📌 Commit 728a241 has been approved by phansch

@bors
Copy link
Contributor

bors commented Dec 17, 2019

⌛ Testing commit 728a241 with merge 0026bf8...

bors added a commit that referenced this pull request Dec 17, 2019
Fix clippy build failure

Clippy build fails because the feature `result_map_or` has been stabilized in v1.41.0 but we still have an explicit feature attribute for it.
@bors
Copy link
Contributor

bors commented Dec 17, 2019

💔 Test failed - checks-travis

@phansch
Copy link
Member

phansch commented Dec 17, 2019

@bors retry

@bors
Copy link
Contributor

bors commented Dec 17, 2019

⌛ Testing commit 728a241 with merge c62396d...

bors added a commit that referenced this pull request Dec 17, 2019
Fix clippy build failure

Clippy build fails because the feature `result_map_or` has been stabilized in v1.41.0 but we still have an explicit feature attribute for it.

changelog: none
@bors
Copy link
Contributor

bors commented Dec 17, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: phansch
Pushing c62396d to master...

@bors bors merged commit 728a241 into rust-lang:master Dec 17, 2019
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.

3 participants