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, 20180531 has been created at 5f8e54905d430a75bf5fe98809b75bb0447d41de (tag) tagging 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f (commit) replaces 20180528 tagged by Jan Alexander Steffens (heftig) on Thu May 31 16:06:18 2018 +0200

- Log ----------------------------------------------------------------- Version 20180531

Allan McRae (1): update makefile for current version

Eli Schwartz via arch-projects (1): makechrootpkg: whitelist return code 14 from makepkg

Jan Alexander Steffens (heftig) (1): Version 20180531

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

hooks/post-receive