Skip to content
This repository has been archived by the owner on Jun 30, 2021. It is now read-only.

Fix lint #1033

Merged
merged 1 commit into from
May 29, 2019
Merged

Fix lint #1033

merged 1 commit into from
May 29, 2019

Conversation

jarindr
Copy link
Contributor

@jarindr jarindr commented May 29, 2019

No description provided.

@jarindr jarindr merged commit ce62177 into master May 29, 2019
@jarindr jarindr deleted the fix-lint branch May 29, 2019 07:55
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.

None yet

2 participants