On 2017-11-3 00:28 , Ryan Schmidt wrote: > Well, but still, should we remove pypi.python.org from the pypi fetchgroup, > or are there some ports for which it still works where files.pythonhosted.org > wouldn't work?
Yeah, it's there for releases from before the files.pythonhosted.org redirector was made. - Josh