[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180531-13-g936ff8d
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 936ff8da2fb3597d03ef018ec2aba0391e18d569 (commit)
via d123fee8ec5c98cbb6bfa4cecf66cb7cdd9c1855 (commit)
via 4a532e38e7ed63770b400e924715178ac4c7664c (commit)
from f61421a3f5f29f4f8447846c1135961487fb5db6 (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 936ff8da2fb3597d03ef018ec2aba0391e18d569
Author: Jelle van der Waa
participants (1)
-
Jelle van der Waa