[arch-projects] [devtools] [GIT] The official devtools repository branch heftig deleted. 20170320

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, heftig has been deleted was eec7fcf965763d5395c336f92cd56b193d054947 - Log ----------------------------------------------------------------- eec7fcf965763d5395c336f92cd56b193d054947 archbuild/makechrootpkg: Delete subvolumes in roots ----------------------------------------------------------------------- hooks/post-receive -- The official devtools repository