Skip to content
This repository has been archived by the owner on Nov 3, 2023. It is now read-only.

Lint tasklist #1137

Merged
merged 2 commits into from
Sep 7, 2018
Merged

Lint tasklist #1137

merged 2 commits into from
Sep 7, 2018

Conversation

stephenroller
Copy link
Contributor

Separated from #1122 for review clarity.

Copy link
Contributor

@klshuster klshuster left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good to me, thanks

@stephenroller stephenroller merged commit 7164cbc into master Sep 7, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants