Re: [pacman-dev] [PATCH] Make it easier to ignore multiple packages.