diff options
author | Tor Brede Vekterli <vekterli@verizonmedia.com> | 2020-05-19 16:27:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-19 16:27:17 +0200 |
commit | 7c4ec805157ce9f662377cfff2367e3711e47ac0 (patch) | |
tree | 2bbb653cd68c2ebe5d5a151f535eb3994ced14b4 /controller-server | |
parent | ce0118d98273057bd8b70ad7624322159a715fb0 (diff) | |
parent | a9301a966c228e55c38371df6a917db568c48e39 (diff) |
Merge pull request #13304 from vespa-engine/vekterli/avoid-data-race-from-pending-visitor-send-task
Avoid data race from pending visitor send task
Diffstat (limited to 'controller-server')
0 files changed, 0 insertions, 0 deletions