diff options
author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2019-06-24 14:32:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-24 14:32:43 +0200 |
commit | a512024d5c8eafc0c692b3074b407fc34f38795e (patch) | |
tree | d0111d9aeb8f848bcba1b32cf19ca00a1766430b /config-proxy | |
parent | d3fc7d9efbf656ec9a5623084fc91be0c79789e8 (diff) | |
parent | 5f7c02da995f865548c9e71da4324f56b747ef42 (diff) |
Merge pull request #9888 from vespa-engine/revert-9860-gjoranv/add-default-public-metric-set
Revert "Gjoranv/add default public metrics consumer" MERGEOK
Diffstat (limited to 'config-proxy')
0 files changed, 0 insertions, 0 deletions