[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20171108-11-g6da90b2
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 6da90b2028da0bc504be7ff60873dd2719818a1e (commit)
via ab3368f06182cc3f11f672e63ad18f174ba58e02 (commit)
from 38c7a391b043547b946a99731a56a233458ba7a2 (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 6da90b2028da0bc504be7ff60873dd2719818a1e
Author: Emiel Wiedijk via arch-projects
participants (1)
-
Bartłomiej Piotrowski