mirror of
https://github.com/prometheus/prometheus.git
synced 2025-10-14 09:01:01 +02:00
It now deletes the series file also for archived series. Also, fix a naming error in a doc comment.
It now deletes the series file also for archived series. Also, fix a naming error in a doc comment.