diff options
| author | Yngve Aasheim <yngveaasheim@users.noreply.github.com> | 2023-01-12 13:48:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-12 13:48:48 +0100 |
| commit | ee59cc51949b0b909f586634dd582ff0336053a4 (patch) | |
| tree | 89919a2a857654918e33a3370ab5c7cece6227c6 /streamingvisitors | |
| parent | 61acd5aa3a1bf9098c87fdc098c7982301f0910c (diff) | |
| parent | cca3eb91a8c69506b667213c7d39ed96c119f2eb (diff) | |
Merge pull request #25533 from vespa-engine/yngveaasheim/use-enum-for-handled-metrics
Use enum for 'handled' metrics
Diffstat (limited to 'streamingvisitors')
0 files changed, 0 insertions, 0 deletions