Skip to content

Conversation

@vszakats
Copy link
Member

@vszakats vszakats commented Apr 4, 2024

Closes #13287

@vszakats vszakats added the build label Apr 4, 2024
@vszakats vszakats closed this in 20c1b2d Apr 5, 2024
@vszakats vszakats deleted the user-error-directive branch April 5, 2024 09:24
vszakats added a commit to vszakats/curl that referenced this pull request Jul 14, 2024
vszakats added a commit that referenced this pull request Jul 14, 2024
It reduces configure log noise.

Follow-up to 20c1b2d #13287
Closes #14181
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.

2 participants