[pacman-dev] [PATCH] pacman: make --ignore actually work