[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20190329-6-gf522ce2

[Levente Polyak]

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  f522ce2277100a147baa2656753231b14cf1f71d (commit)
      from  774774961025b79d84a466f75c651ce17c946928 (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 f522ce2277100a147baa2656753231b14cf1f71d
Author: Levente Polyak <anthraxx at archlinux.org>
Date:   Wed Jun 12 23:59:01 2019 +0200

    offload-build: disable shellcheck false-positive for shell-escape

-----------------------------------------------------------------------

Summary of changes:
 offload-build | 1 +
 1 file changed, 1 insertion(+)


hooks/post-receive
-- 
The official devtools repository