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 a49bcf20970214c12a0726c0f4bf4abb1a378ab2 (commit)
from 0883f45b3a688490cdf57c3ca4b847ce1e21f5ee (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 a49bcf20970214c12a0726c0f4bf4abb1a378ab2
Author: Christian Hesse