[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20191130-1-g8d99df6

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 8d99df602d6e5fc377a37f67d0e5ce74c8facecd (commit)

[arch-projects] [devtools] [GIT] The official devtools repository annotated tag 20191130 created. 20191130

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 annotated tag, 20191130 has been created at fca044cc8898ae7f901274bab2da62338f6

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

30:34 2019 +0100 Version 20191130 commit 104c5bc90e259028f5c9352a32f8976aa0f95a8d Author: Levente Polyak Date: Sat Nov 30 13:13:49 2019 +0100 makechrootpkg: sync database for checkpkg to avoid nonexistent targets For build servers or similar infrastructure its relativ