On Thu, Jun 1, 2017 at 12:00 PM, <[email protected]> wrote: > Alad [1] filed a deletion request for arch-https-mirrors-git [2]: > > https://www.archlinux.org/mirrorlist/all/https/
Must you delete this? It serves a different purpose than the upstream list, is more curated, and I actively use it.
