[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180531-27-ga49f55c
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 a49f55cbed51c815a9392c9f7fff5f8cec385935 (commit)
via 5c016c38f25f26e0e78a246c2f7a54aea3059e0c (commit)
via 1d4a60874badb8ef6f42e53ab8f0f53212a18edb (commit)
from b66ce081e7849af19429949fad57e683b595fbfc (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 a49f55cbed51c815a9392c9f7fff5f8cec385935
Author: Levente Polyak
participants (1)
-
Levente Polyak