Skip to content

Conversation

@cre4ture
Copy link
Contributor

fixes issue #6033 (failing windows builds)

Copy link
Collaborator

@BenWiederhake BenWiederhake left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does exactly what it says on the tin, let's merge it!

My write rights are new, please let me know whether I'm acting too quickly/weirdly/etc.

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