[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180528-3-g6364b3c
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 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f (commit)
via 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe (commit)
from e414173f8984485ff850e1fba0f8cf97cd970064 (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 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f
Author: Jan Alexander Steffens (heftig)
participants (1)
-
Jan Steffens