[arch-projects] [devtools] [GIT] The official devtools repository branch bpiotrowski/debug deleted. 20171108-13-g73b9f7b

[Levente Polyak]

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, bpiotrowski/debug has been deleted
       was  73b9f7bfccf277e45f921920cc53d1cfb1331ca7

- Log -----------------------------------------------------------------
73b9f7bfccf277e45f921920cc53d1cfb1331ca7 commitpkg: Use printf format strings for messages about debug packages
-----------------------------------------------------------------------


hooks/post-receive
-- 
The official devtools repository