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

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