Skip to content

Conversation

shoyer
Copy link
Member

@shoyer shoyer commented Oct 12, 2025

I forgot that we already automatically remove duplicate indexes on child nodes!

@shoyer shoyer added the plan to merge Final call for comments label Oct 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

plan to merge Final call for comments

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant