[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180531-17-g657497c
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 657497c91a67a29e990bed9911c77550d562aac0 (commit)
from 90bb423304c96072cc3f7ea86ad9672414ed9183 (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 657497c91a67a29e990bed9911c77550d562aac0
Author: Jelle van der Waa
participants (1)
-
Jelle van der Waa