[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20200213-9-g5b1123e
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 5b1123e11f2b1de97196138ccfd63824955e30d8 (commit)
via a0f79fcce0b58b4fb126a452a3a2b4414611c9c9 (commit)
from 94b0413e1399d92326de0851467b36998eee796b (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 5b1123e11f2b1de97196138ccfd63824955e30d8
Author: Levente Polyak
participants (1)
-
Levente Polyak