Skip to content

Update linting#334

Merged
fabaff merged 2 commits intomasterfrom
lint
Apr 22, 2020
Merged

Update linting#334
fabaff merged 2 commits intomasterfrom
lint

Conversation

@fabaff
Copy link
Copy Markdown
Member

@fabaff fabaff commented Apr 22, 2020

No description provided.

@fabaff fabaff merged commit 85f4855 into master Apr 22, 2020
@delete-merged-branch delete-merged-branch bot deleted the lint branch April 22, 2020 20:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants