diff options
author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2021-02-17 15:35:09 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-17 15:35:09 +0100 |
commit | 956c4bf874fd7d742508e20feff55599fc69e263 (patch) | |
tree | 0b30983021faaba3285bdf29543f8668790e18a7 /config-provisioning | |
parent | 49adf2dd1f96f8e5636f5b3ee80fdf56c96aff86 (diff) | |
parent | 7c2ed2d7356cfe2b57d2d24093fc21207a82b787 (diff) |
Merge pull request #16555 from vespa-engine/hmusum/use-list
Use a list instead of a set, we want to keep order
Diffstat (limited to 'config-provisioning')
0 files changed, 0 insertions, 0 deletions