[pacman-dev] [PATCH 1/3] rankmirrors: properly sort resulting times