This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "The official devtools repository". The branch, master has been updated via 7fe0f688566fe2bf637d0503056cf04a6d4a5c87 (commit) from f85fc32d78414c25f82e0b13e3d99f15ab787b56 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 7fe0f688566fe2bf637d0503056cf04a6d4a5c87 Author: Pierre Schmitz <pierre@archlinux.de> Date: Sat May 7 10:53:48 2016 +0200 Set target vendor to pc for usge with gcc 6 ----------------------------------------------------------------------- Summary of changes: makepkg-x86_64.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- The official devtools repository