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

[Jan Steffens]

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