[arch-projects] [devtools] [GIT] The official devtools repository annotated tag 20191212 created. 20191212
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, 20191212 has been created at 7a55fc0fb9bfbd1341de76405b26de70cc54ec64 (tag) tagging d4546c59ce2731a96d336f9953108816ff4b954b (commit) replaces 20191130 tagged by Levente Polyak on Thu Dec 12 01:01:45 2019 +0100
- Log ----------------------------------------------------------------- Version 20191212
Eli Schwartz (1): offload-build: return failure if no package files were found
Levente Polyak (4): makechrootpkg: double quote array expansions for checkpkg locations makechrootpkg: sync databases for checkpkg off-site lib: support arbitrary compressed package files Version 20191212
-----------------------------------------------------------------------
hooks/post-receive
participants (1)
-
Levente Polyak