[pacman-dev] [GIT] The official pacman repository branch, master, updated. v3.0.6-725-gf35a5cf