Skip to content

fixUnusedIdentifier: Don't remove setter parameter#22488

Merged
1 commit merged into
masterfrom
no_rm_setter_parameter
Mar 12, 2018
Merged

fixUnusedIdentifier: Don't remove setter parameter#22488
1 commit merged into
masterfrom
no_rm_setter_parameter

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Mar 12, 2018

Fixes #22360

@ghost ghost requested a review from amcasey March 12, 2018 15:45
Copy link
Copy Markdown
Member

@amcasey amcasey left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:shipit:

@ghost ghost merged commit 83b438f into master Mar 12, 2018
@ghost ghost deleted the no_rm_setter_parameter branch March 12, 2018 23:07
@microsoft microsoft locked and limited conversation to collaborators Jul 25, 2018
This pull request was closed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant