[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20200213-10-gaff81d3

[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  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 <anthraxx at archlinux.org>
Date:   Tue Apr 7 19:46:10 2020 +0200

    Version 20200407

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

Summary of changes:
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
The official devtools repository