Allows either _rtoolsOR _mingw in _extension_distribution (but only mingw in the json)#127
Merged
carlopi merged 2 commits intoduckdb:mainfrom carlopi:either_rtools_mingwJan 7, 2025
+10-10
Commits
Commits on Jan 6, 2025
- committed
- committed
