chore: update bundled Zoekt - #1562
Closed
sourcebot-release-bot[bot] wants to merge 3 commits into
Closed
sourcebot-release-bot[bot] wants to merge 3 commits into
sourcebot-release-bot[bot] wants to merge 3 commits into
Commits
Commits on Aug 10, 2026
- committed
sourcebot-sync[bot] - committed
sourcebot-sync[bot] - committed