[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20191016-1-g6679c28
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 6679c28625b1e48bc115290b7c41941366d44a05 (commit)
from 2edee89b629f73c8437368b37efbcafd90429728 (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 6679c28625b1e48bc115290b7c41941366d44a05
Author: Daniel M. Capella
participants (1)
-
Levente Polyak