[Git][pacman/pacman][master] 3 commits: Add 7.1.0 release to web page