Skip to content

Comments

Fix index name mutation for identifiers containing dots#213

Merged
tianzhou merged 2 commits intomainfrom
fix-index-name-mutation
Dec 18, 2025
Merged

Fix index name mutation for identifiers containing dots#213
tianzhou merged 2 commits intomainfrom
fix-index-name-mutation

Commits

Commits on Dec 18, 2025