[arch-projects] [devtools] [GIT] The official devtools repository tag 20170911 created. 20170813-5-g5ebb9c1

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 tag, 20170911 has been created at 5ebb9c16c055747e0501ac58b4cb05c20b8f7439 (commit) - Log ----------------------------------------------------------------- commit 5ebb9c16c055747e0501ac58b4cb05c20b8f7439 Author: Sébastien Luttringer Date: Mon Sep 11 21:26:07 2017 +0200 Version 20170911 ----------------------------------------------------------------------- hooks/post-receive -- The official devtools repository