Skip to content

Conversation

@sbc100
Copy link
Collaborator

@sbc100 sbc100 commented Nov 22, 2020

Shame we don't have linters to help is catch this stuff.

Shame we don't have linters to help is catch this stuff.
@sbc100 sbc100 requested a review from juj November 22, 2020 21:21
@sbc100
Copy link
Collaborator Author

sbc100 commented Nov 23, 2020

Actually we can hopefully remove the whole thing: #12861 .. but if that doesn't land then this at least should.

@sbc100 sbc100 requested a review from kripken November 23, 2020 22:01
@sbc100 sbc100 merged commit aeecd77 into master Nov 24, 2020
@sbc100 sbc100 deleted the remove_unused_var branch November 24, 2020 00:04
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