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 cfd81ab5636bc66b4ef63054bb7dee9f8899229c (commit) from ac1ee41e4d2f640ae61795f56610d364d7545458 (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 cfd81ab5636bc66b4ef63054bb7dee9f8899229c Author: Pierre Schmitz Date: Thu Oct 4 21:19:31 2012 +0200 prepare release ----------------------------------------------------------------------- Summary of changes: Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- The official devtools repository