server/dev: update zoekt version
Created by: slimsag
Required for improved metrics; will cherry-pick onto 3.16 and 3.17.
Done via:
go get -u github.com/google/zoekt/...
Created by: slimsag
Required for improved metrics; will cherry-pick onto 3.16 and 3.17.
Done via:
go get -u github.com/google/zoekt/...