Skip to content
This repository has been archived by the owner on Jan 17, 2022. It is now read-only.

Fix linting related issues #164

Merged
merged 1 commit into from
Jul 27, 2021
Merged

Fix linting related issues #164

merged 1 commit into from
Jul 27, 2021

Conversation

chevdor
Copy link
Contributor

@chevdor chevdor commented Jul 27, 2021

A few minor issues were left behind

@chevdor chevdor requested a review from athei July 27, 2021 13:48
@chevdor
Copy link
Contributor Author

chevdor commented Jul 27, 2021

I see you covered some in #163, let's see what is left after merging yours. I also prefer your options.

@chevdor chevdor merged commit b8b18be into master Jul 27, 2021
@athei athei deleted the wk-cleanup2 branch July 27, 2021 14:15
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.

2 participants