Re: [arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20191016-20-g4c803b9

2019-12-01 Thread Eli Schwartz via arch-projects
On 11/30/19 7:31 AM, Levente Polyak via arch-projects wrote: Generally some nice improvements, but what is the deal with this??? > commit 104c5bc90e259028f5c9352a32f8976aa0f95a8d > Author: Levente Polyak > Date: Sat Nov 30 13:13:49 2019 +0100 > > makechrootpkg: sync database for checkpkg

[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20191016-20-g4c803b9

2019-11-30 Thread Levente Polyak via arch-projects
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 4c803b9db8f6395c610c96bd090d1ba2ced82a9c (commit)