Re: [pacman-dev] Maybe a pacman bug?