Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

tests/server: delete workaround for old-mingw #12510

Closed
wants to merge 1 commit into from

Conversation

vszakats
Copy link
Member

@vszakats vszakats commented Dec 13, 2023

mingw-w64 1.0 comes with w32api v3.12, thus doesn't need this.

Follow-up to 3802910 #11625

Closes #12510

mingw-w64 1.0 comes with w32api v3.12, thus doesn't need this.

Follow-up to 3802910 curl#11625

Closes #xxxxx
@vszakats vszakats added Windows Windows-specific tidy-up labels Dec 13, 2023
@github-actions github-actions bot added the tests label Dec 13, 2023
@vszakats vszakats closed this in 246e0d8 Dec 13, 2023
@vszakats vszakats deleted the more-old-mingw branch December 13, 2023 08:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

None yet

2 participants