Skip to content

More lenient handling of unsupported options in CREATE INDEX#1333

Merged
zachmu merged 2 commits intomainfrom
zachmu/create-index
Mar 26, 2025
Merged

More lenient handling of unsupported options in CREATE INDEX#1333
zachmu merged 2 commits intomainfrom
zachmu/create-index

Commits

Commits on Mar 26, 2025