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.steff...@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
