Skip to content

fixUnusedIdentifier: Don't needlessly exclude jsdoc#25014

Merged
1 commit merged into
masterfrom
fixUnusedIdentifier_jsdocTypeParameter
Jun 19, 2018
Merged

fixUnusedIdentifier: Don't needlessly exclude jsdoc#25014
1 commit merged into
masterfrom
fixUnusedIdentifier_jsdocTypeParameter

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Jun 16, 2018

Fixes #24913

@ghost ghost force-pushed the fixUnusedIdentifier_jsdocTypeParameter branch from e7c68df to 46cb45b Compare June 16, 2018 00:53
@ghost ghost merged commit db85f37 into master Jun 19, 2018
@ghost ghost deleted the fixUnusedIdentifier_jsdocTypeParameter branch June 19, 2018 20:44
@microsoft microsoft locked as resolved and limited conversation to collaborators Oct 21, 2025
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