Re: [pacman-dev] [PATCH 2/2] pacman: add front end support for disabled repos