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

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 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