mirror of
https://github.com/prometheus/prometheus.git
synced 2024-11-10 15:44:05 -08:00
Merge pull request #621 from prometheus/beorn7/release
Cut release 0.13.0rc2.
This commit is contained in:
commit
440d5df6e2