Skip to content

Fix lint error - #435

Merged
piazzatron merged 1 commit into
masterfrom
piazz-fix-lint-error
May 7, 2020
Merged

Fix lint error#435
piazzatron merged 1 commit into
masterfrom
piazz-fix-lint-error

Conversation

@piazzatron

Copy link
Copy Markdown
Contributor

No description provided.

@piazzatron
piazzatron requested a review from dmanjunathMay 7, 2020 21:12
@piazzatron
piazzatron merged commit 69ed7a1 into masterMay 7, 2020
@piazzatron
piazzatron deleted the piazz-fix-lint-error branch May 7, 2020 22:45
Sign up for freeto 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.

2 participants

@piazzatron@dmanjunath