diff options
author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2019-11-11 10:04:08 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-11 10:04:08 +0100 |
commit | fd61d661ac5f28263a48ac6051c17c205f8e101b (patch) | |
tree | 8053336f34d84470c2cbc322bda7ac6709289fea /config-model | |
parent | c6f92e9137324e7caca0dca219c0db95645acbc0 (diff) | |
parent | 357e91af802db4697436cb22a9ff525476ba7d79 (diff) |
Merge pull request #11252 from vespa-engine/jvenstad/instance-orchestration
Consider all known runs when checking whether versions are verified
Diffstat (limited to 'config-model')
0 files changed, 0 insertions, 0 deletions