[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20170813-10-gddd508e
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 ddd508efc083fc9beb6f2c96e2537521b31c1e6f (commit)
via 0f3778c3d36028e5c9d4e5ec702c8f167e1cebba (commit)
from 6b55282bd702afd9a36409f85d9cb4c608ada5e5 (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 ddd508efc083fc9beb6f2c96e2537521b31c1e6f
Author: Jan Alexander Steffens (heftig)
participants (3)
-
heftig@archlinux.org
-
Jan Alexander Steffens
-
Luke Shumaker