Closed Yurlungur closed 1 month ago
Tiny change so that in riot we can switch to using upstreamed index split
PR Summary
Tiny change so that in riot we can switch to using upstreamed index split
PR Checklist