mirror of
https://github.com/prometheus/prometheus.git
synced 2025-08-21 22:51:01 +02:00
No immediate need here, but after adding the windows vendoring, we have different commits vendored from the same repository. To avoid confusion, this commit brings them in line.