diff options
author | Harald Musum <musum@verizonmedia.com> | 2020-05-22 12:18:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-22 12:18:39 +0200 |
commit | 4f5629bd1dfe0e2bbe0d0b1abda887fd75df409a (patch) | |
tree | 51361c601c3e475bb12e9f4de275d30e6206bb0a /bootstrap.sh | |
parent | 6c041f5fb42423160f904b1d9fc3ec7af3d2d5d9 (diff) | |
parent | e3b00f332fa3068fd859258c78ed9804aefe8f77 (diff) |
Merge pull request #13338 from vespa-engine/revert-13337-revert-13332-hmusum/use-remote-session-repo-for-finding-active-session
Reapply "Use remote session repo for finding active session"
Diffstat (limited to 'bootstrap.sh')
0 files changed, 0 insertions, 0 deletions