Skip to content

Conversation

Fil
Copy link
Contributor

@Fil Fil commented Oct 11, 2024

No description provided.

@carlopi
Copy link
Collaborator

carlopi commented Oct 11, 2024

Thanks!

@carlopi carlopi merged commit 07b40fe into duckdb:main Oct 29, 2024
15 checks passed
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