Repository navigation

chore: update bundled Zoekt - #1718

Closed

sourcebot-release-bot[bot] wants to merge 3 commits into

mainfrom

automation/sync-zoekt

Commits on Oct 8, 2026
- chore: sync zoekt after upstream PR #28
  sourcebot-sync[bot]
  committed
  f716100
- chore: update changelog for #1718
  sourcebot-sync[bot]
  committed
  6445dff
- chore: sync zoekt after upstream PR #29
  sourcebot-sync[bot]
  committed
  e98f6fa