Skip to content

Conversation

@Gummibeer
Copy link
Member

fixes #10

@Gummibeer Gummibeer self-assigned this Sep 15, 2020
@Gummibeer Gummibeer merged commit 2312ea9 into master Sep 15, 2020
@Gummibeer Gummibeer deleted the issue-10 branch September 15, 2020 10:37
@Gummibeer
Copy link
Member Author

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants