Skip to content

Conversation

guimachiavelli
Copy link
Member

Fixes EXP-404

Copy link
Member Author

gently pinging @irevoire

Copy link
Member

@irevoire irevoire left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me 👍

@guimachiavelli guimachiavelli merged commit 885456e into main Sep 4, 2025
4 checks passed
@guimachiavelli guimachiavelli deleted the EXP-404-rename-index branch September 4, 2025 16:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: No status
Development

Successfully merging this pull request may close these issues.

3 participants