Skip to content

vendor: Update vendored sources to duckdb/duckdb@7f0b18a746b7df524c26ed5b21dd1bad441dbac1#1808

Merged
github-actions[bot] merged 1 commit intomainfrom
vendor-main
Dec 4, 2025
Merged

vendor: Update vendored sources to duckdb/duckdb@7f0b18a746b7df524c26ed5b21dd1bad441dbac1#1808
github-actions[bot] merged 1 commit intomainfrom
vendor-main

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Dec 4, 2025

propagate gate status in Node4::DeleteChild (duckdb/duckdb#20044)

@github-actions github-actions Bot enabled auto-merge (squash) December 4, 2025 16:06
@github-actions github-actions Bot merged commit 752d1bd into main Dec 4, 2025
1 check passed
@github-actions github-actions Bot deleted the vendor-main branch December 4, 2025 16:34
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.

1 participant