[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20191130-1-g8d99df6
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 8d99df602d6e5fc377a37f67d0e5ce74c8facecd (commit)
from 4c803b9db8f6395c610c96bd090d1ba2ced82a9c (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 8d99df602d6e5fc377a37f67d0e5ce74c8facecd
Author: Levente Polyak
participants (1)
-
Levente Polyak