Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
New
Description
Speed up dev-tools/scripts/poll-mirrors.py by parallelizing the URL checks
Attachments
Attachments
Issue Links
- links to