3a952e32223a36a06b4a7dadd5070ed408fa096d

- Display mirror domain instead of an arbitrary index (which could change) - Fix showing 404 page for non-existent mirror redirection links - Move default mirror definition into downloads.py for easy changing
Description
No description provided
Languages
HTML
81.1%
Python
8.2%
CSS
5.7%
TeX
4.1%
Shell
0.6%
Other
0.2%