Skip to content

Make external index handling more robust#476

Merged
Krzmbrzl merged 16 commits intoValeevGroup:masterfrom
Krzmbrzl:harden-ext-indices
Feb 8, 2026
Merged

Make external index handling more robust#476
Krzmbrzl merged 16 commits intoValeevGroup:masterfrom
Krzmbrzl:harden-ext-indices

Commits

Commits on Feb 7, 2026