[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20111111-9-g3c7dbe0

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 3c7dbe0ea2586c8a3b086294c07a669df6b75a34 (commit) from 130227546a92f94d43ae5959e0a15e5fe5aec87d (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 3c7dbe0ea2586c8a3b086294c07a669df6b75a34 Author: Pierre Schmitz Date: Tue Dec 20 23:12:49 2011 +0100 prepare release ----------------------------------------------------------------------- Summary of changes: Makefile | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) hooks/post-receive -- The official devtools repository