Re: [pacman-dev] [PATCH] Fix handling of ignored packages