mirror of
https://github.com/prometheus/prometheus.git
synced 2025-09-22 06:11:00 +02:00
Followup of https://github.com/prometheus/prometheus/pull/16753 Signed-off-by: Julien Pivotto <291750+roidelapluie@users.noreply.github.com>