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

[Jelle van der Waa]

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 <jelle at archlinux.org>
Date:   Tue Mar 12 22:40:38 2019 +0100

    Add devtools.7 man page
    
    Signed-off-by: Jelle van der Waa <jelle at vdwaa.nl>

-----------------------------------------------------------------------


hooks/post-receive
-- 
The official devtools repository