Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Remove an unused prometheus metric #7878

Merged
merged 1 commit into from
Jul 21, 2020
Merged

Remove an unused prometheus metric #7878

merged 1 commit into from
Jul 21, 2020

Conversation

richvdh
Copy link
Member

@richvdh richvdh commented Jul 16, 2020

No description provided.

@richvdh richvdh requested a review from a team July 16, 2020 22:13
@richvdh richvdh merged commit 931b026 into develop Jul 21, 2020
@richvdh richvdh deleted the rav/remove_dead_metric branch July 21, 2020 23:40
babolivier pushed a commit that referenced this pull request Sep 1, 2021
* commit '931b02684':
  Remove an unused prometheus metric (#7878)
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants