Re: [pacman-dev] Possible bug in pacman