Skip to content

Conversation

@waldyrious
Copy link
Contributor

Just a minor issue, found in the context of #196.

Copy link
Owner

@Schniz Schniz left a comment

Choose a reason for hiding this comment

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

Cool, thanks for the fix! 👏

@Schniz Schniz added the PR: Bugfix A bug was fixed label Feb 26, 2020
@Schniz Schniz merged commit 072ad2a into Schniz:master Feb 26, 2020
@waldyrious waldyrious deleted the patch-1 branch February 26, 2020 16:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: Bugfix A bug was fixed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants