[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20200213-10-gaff81d3
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 aff81d34fd072e978925a0ad5d04ea0978ce42ed (commit)
from 5b1123e11f2b1de97196138ccfd63824955e30d8 (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 aff81d34fd072e978925a0ad5d04ea0978ce42ed
Author: Levente Polyak
participants (1)
-
Levente Polyak