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 2a308821b3de179ca1946051d7733362ed45ed04 (commit)
via 7259e7def07a5f6ee04a34db61a87361ad0b5ac7 (commit)
from 94160d62b8d3de9d737f5ec70451fefa9ceda6d1 (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 2a308821b3de179ca1946051d7733362ed45ed04
Author: Bartłomiej Piotrowski