Skip to content

Conversation

michaelpj
Copy link
Collaborator

Hopefully this will help with the Windows issues.

Hopefully this will help with the Windows issues.
@Anton-Latukha Anton-Latukha added the merge me Label to trigger pull request merge label Mar 18, 2023
@mergify mergify bot merged commit adf6622 into master Mar 18, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants