Skip to content

Conversation

@carlopi
Copy link
Collaborator

@carlopi carlopi commented May 15, 2025

This should be trivial, just applying patch and bumping duckdb

@carlopi carlopi changed the title HTTPUtil: port changes from https://github.com/duckdb/duckdb/pull/17486 HTTPUtil: port changes from duckdb's #17486, and override http_util conditionally May 15, 2025
@carlopi carlopi force-pushed the httputil_port_changes branch from b465d6e to 6a09982 Compare May 15, 2025 06:54
@carlopi carlopi changed the title HTTPUtil: port changes from duckdb's #17486, and override http_util conditionally HTTPUtil: port changes from duckdb's #17486 May 15, 2025
@Mytherin Mytherin merged commit 4cf8a59 into duckdb:main May 15, 2025
13 checks passed
@Mytherin
Copy link
Contributor

Thanks!

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