diff options
author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2020-02-27 09:52:06 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-27 09:52:06 +0100 |
commit | 3dd2111ecc678769557588f6ed5885ffb0cdecc9 (patch) | |
tree | 6a33026d48436946265eb22d48da20b67d26edce /controller-server | |
parent | 729390c27d260df96a68772955dc79ddffddbb99 (diff) | |
parent | 8059a135f8958ed846ce276028fd165881a37b91 (diff) |
Merge pull request #12356 from vespa-engine/jvenstad/empty-deployment-spec-is-empty
Verify that deployment spec with empty <deployment> tag is empty
Diffstat (limited to 'controller-server')
0 files changed, 0 insertions, 0 deletions