[arch-projects] [devtools] [GIT] The official devtools repository branch devtools7 created. 20200407-1-g0d77d2a

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, devtools7 has been created at 0d77d2ada52ca694783ce68187cbbb5e40c2015c (commit) - Log ----------------------------------------------------------------- commit 0d77d2ada52ca694783ce68187cbbb5e40c2015c Author: Jelle van der Waa Date: Tue Mar 12 22:40:38 2019 +0100 Add devtools.7 man page Signed-off-by: Jelle van der Waa ----------------------------------------------------------------------- hooks/post-receive -- The official devtools repository