fix: edge indexes become invalid when deleting and recreating same ed…#3512
Closed
robfrank wants to merge 3 commits into
Closed
fix: edge indexes become invalid when deleting and recreating same ed…#3512robfrank wants to merge 3 commits into
robfrank wants to merge 3 commits into
GitHub Advanced Security / CodeQL
succeeded
Feb 26, 2026 in 2s
No new alerts in code changed by this pull request
Loading