Skip to content

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Apr 22, 2019

cc rust-lang/rust-clippy#4016

found by grepping the rustc source since I was just looking at another instance of this

@topecongiro topecongiro merged commit 31a6942 into rust-lang:master Apr 22, 2019
@topecongiro
Copy link
Contributor

Good catch, thanks!

@kraai
Copy link

kraai commented Apr 23, 2019

@oli-obk
Copy link
Contributor Author

oli-obk commented Apr 23, 2019

@kraai yes, I'm addressing it in rust-lang/rust#60166

@oli-obk oli-obk deleted the patch-1 branch April 23, 2019 09:29
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