[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20151129-9-geb88a30

Pierre Schmitz pierre at archlinux.org
Sat May 28 08:10:20 UTC 2016

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 at 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 at 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(-)

The official devtools repository

More information about the arch-projects mailing list