[pacman-dev] [GIT] The official pacman repository annotated tag, v3.1.3, created. v3.1.3