[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20151129-4-g7fe0f68

Pierre Schmitz pierre at archlinux.org
Sat May 7 08:53:53 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  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 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