Thanks. I'll wait 5 days and see if garbage collection removes it.
> I note that the API description says it deletes them: Yes I think it would make more sense to have it say expire -- You received this message because you are subscribed to the Google Groups "Prometheus Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/prometheus-users/defa9632-e08a-428d-9a36-1a274316428an%40googlegroups.com.
