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

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