Re: [pacman-dev] [GIT] The official pacman repository annotated tag, v3.0.1 now at v3.0.0-16-gef578e7