Skip to content

Conversation

@mwik
Copy link

@mwik mwik commented Feb 2, 2021

I have applied the fix proposed by @rieschl in issue #20

@mpdude
Copy link
Member

mpdude commented Feb 12, 2021

Please see the discussion in #20.

@mpdude mpdude mentioned this pull request Feb 13, 2021
@mpdude mpdude closed this in #17 Feb 13, 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.

2 participants