2 Jun
2017
2 Jun
'17
8:17 p.m.
On Thu, Jun 1, 2017 at 12:00 PM,
Alad [1] filed a deletion request for arch-https-mirrors-git [2]:
Must you delete this? It serves a different purpose than the upstream list, is more curated, and I actively use it.