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

Fix issues found by deepsource.io #223

Merged
merged 1 commit into from
Sep 23, 2019
Merged

Fix issues found by deepsource.io #223

merged 1 commit into from
Sep 23, 2019

Conversation

samuel
Copy link
Owner

@samuel samuel commented Sep 23, 2019

No description provided.

@coveralls
Copy link

Coverage Status

Coverage decreased (-0.6%) to 80.195% when pulling 57239a4 on deepsource-fixes into 398ebe8 on master.

@samuel samuel merged commit 2cc03de into master Sep 23, 2019
@samuel samuel deleted the deepsource-fixes branch September 23, 2019 20:27
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