Skip to content

chore: Update vendored sources to duckdb/duckdb@130aab3f9ddb84e0c6e7f543a99881d8fc1bd6b7#474

Merged
github-actions[bot] merged 1 commit intomainfrom
vendor
Oct 16, 2024
Merged

chore: Update vendored sources to duckdb/duckdb@130aab3f9ddb84e0c6e7f543a99881d8fc1bd6b7#474
github-actions[bot] merged 1 commit intomainfrom
vendor

Conversation

@github-actions
Copy link
Contributor

remove redundant code (duckdb/duckdb#14172)

@github-actions github-actions bot enabled auto-merge (squash) October 16, 2024 11:02
@github-actions github-actions bot merged commit e28feaf into main Oct 16, 2024
@github-actions github-actions bot deleted the vendor branch October 16, 2024 11:23
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Oct 17, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant