Skip to content

Fixes #10#86

Merged
haxorof merged 1 commit into
masterfrom
issue-10
Jun 27, 2021
Merged

Fixes #10#86
haxorof merged 1 commit into
masterfrom
issue-10

Conversation

@haxorof
Copy link
Copy Markdown
Contributor

@haxorof haxorof commented Jun 13, 2021

Extracted related parts from PR #66 to not have one PR for a lot of issues at the same time.

@haxorof haxorof merged commit 52dcb11 into master Jun 27, 2021
@haxorof haxorof deleted the issue-10 branch June 27, 2021 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants