Skip to content

Conversation

tzaeschke
Copy link
Owner

This fixes a small issue with the implementation of #38

@tzaeschke tzaeschke self-assigned this Jun 9, 2022
@tzaeschke tzaeschke merged commit 9d622c1 into master Jun 9, 2022
@tzaeschke tzaeschke deleted the fix/38b-removed-optional-fix branch June 9, 2022 15:42
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