mirror of
https://github.com/prometheus/prometheus.git
synced 2025-09-29 17:51:01 +02:00
These had escaped me because the tools aren't rebuilt if there are changes outside of the respective tool itself. Change-Id: I3e69631babdd95b18e698eb79098dfa59f60f597