[pacman-dev] [PATCH 11/11] rankmirrors: proper option handling