Skip to content

Conversation

@dducro
Copy link

@dducro dducro commented Jun 15, 2021

This PR fixes issue #22

@dducro
Copy link
Author

dducro commented Jun 15, 2021

Please merge #24 That includes more fixes.

@dducro dducro closed this Jun 15, 2021
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.

1 participant