[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20171108-13-g5713cd6

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 5713cd629c97c7a12a600a1dd73ad81d87374eb1 (commit)

[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20171108-2-g7a3c508

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 7a3c5085017987b6ef934cf9d9b098b4994ba21a (commit)