So, does anyone see any problems or objections to just removing
It's been replaced with dl.fedoraproject.org
for a long time.
It causes ssl cert issues (see
There were some references to it on the wiki, but I cleaned those up.
Can anyone think of anything that would break if we just remove this
and announce to the mirror list it's gone?