Re: [pacman-dev] [GIT] The official pacman repository branch, master, updated. v3.5.0-78-gf7b577d