[arch-projects] [devtools] [GIT] The official devtools repository tag 20160527.1 deleted. 20151129-6-g882f5d0

Sven-Hendrik Haase svenstaro at archlinux.org
Fri May 27 20:17:18 UTC 2016

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, 20160527.1 has been deleted
       was  882f5d04516680b60c0da85c51fd6191c77b38ab

- Log -----------------------------------------------------------------
882f5d04516680b60c0da85c51fd6191c77b38ab mkarchroot: Manually generate machine-id because nspawn expects it

The official devtools repository

More information about the arch-projects mailing list