Skip to content

Fix lint#19387

Merged
1 commit merged intomasterfrom
fix_lint_2
Oct 20, 2017
Merged

Fix lint#19387
1 commit merged intomasterfrom
fix_lint_2

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Oct 20, 2017

tslint updated and gives us a new (legitimate) lint error.

@ghost ghost merged commit 74cbb82 into master Oct 20, 2017
@ghost ghost deleted the fix_lint_2 branch October 20, 2017 21:12
@microsoft microsoft locked and limited conversation to collaborators Jun 14, 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