[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180531-21-gc9b6f58
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 c9b6f58f8e511b62085fa7e592aa5ecbe2a38074 (commit)
via 155798b8b12224bc09b4349edf8259ead301740f (commit)
via d9b73504484da7e185dc590ef13d5f31942f6051 (commit)
from 6645701cb13a4801c870c8231d3cdc9988ce593c (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 c9b6f58f8e511b62085fa7e592aa5ecbe2a38074
Author: Jelle van der Waa
participants (1)
-
Levente Polyak