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 eb88a303b7d3e3f829800e36e543df9a7dd5d6e2 (commit) via 7fe0f688566fe2bf637d0503056cf04a6d4a5c87 (commit) from 8f94d8118fefc48b12be4a35df5ae2ff7a39486f (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 eb88a303b7d3e3f829800e36e543df9a7dd5d6e2 Merge: 7fe0f68 8f94d81 Author: Pierre Schmitz <pierre@archlinux.de> Date: Sat May 28 10:09:45 2016 +0200 Merge branch 'master' of git.archlinux.org:/srv/git/devtools 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