Skip to content

Conversation

@andreainnocenti
Copy link

this PR fixes an issue described in #893

@andreainnocenti
Copy link
Author

@jsdevel can you kindly review this PR please?

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