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 70d3c63b5c7b2e62505604df8705bafea5680723 (commit) from eb6b0e3f11279b6512b1469ff042d2982eaaeef4 (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 70d3c63b5c7b2e62505604df8705bafea5680723 Author: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> Date: Sat May 28 17:52:56 2016 +0200 Version 20160528 ----------------------------------------------------------------------- Summary of changes: Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- The official devtools repository