diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2019-09-17 16:32:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-17 16:32:56 +0200 |
commit | 134e4257fcf36ad964c3da330c2a8bf9ced7ba84 (patch) | |
tree | 686e343e0e9ce7596c1ac68604dca3d2aec76d00 /pom.xml | |
parent | 7de1a97f6fb4005a6d46ff425251c95e1db57235 (diff) | |
parent | 6942e093919a7f5f4843f7727de40768d44273e0 (diff) |
Merge pull request #10685 from vespa-engine/revert-10675-revert-10639-gjoranv/update-public-metric-set
Reapply: Update the public metric set after architects review.
Diffstat (limited to 'pom.xml')
0 files changed, 0 insertions, 0 deletions