[pacman-dev] [GIT] pacman branch, master now at R_3_0_0-142-gb3535db