[auto] Merge from Devtools
[auto] Merge from Devtools

    • #0132bfe — Delete the temporary file when releasing on Github. (Ivan Enderlin, 2015-02-16)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Devtools

Metalaka/Central,vcgato29/Central,Metalaka/Central,vcgato29/Central,Grummfy/Central,Grummfy/Central