Re: [pacman-dev] Pacman-3.5.0 bug round-up