[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20151129-7-g8f94d81

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 8f94d8118fefc48b12be4a35df5ae2ff7a39486f (commit) from 882f5d04516680b60c0da85c51fd6191c77b38ab (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 8f94d8118fefc48b12be4a35df5ae2ff7a39486f Author: Sven-Hendrik Haase Date: Fri May 27 22:17:02 2016 +0200 This is 20160527.1 ----------------------------------------------------------------------- Summary of changes: Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- The official devtools repository