[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180531-4-g7b09525
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 7b095250030dd85684226a6191d739d2f04424a3 (commit)
from e9102b2ad84964cd826a63e0de605828e0528261 (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 7b095250030dd85684226a6191d739d2f04424a3
Author: Morten Linderud
participants (1)
-
Levente Polyak