[pacman-dev] [GIT] The official pacman repository branch, master, updated. v4.1.2-71-g6e3ea82