[arch-dev-public] new devtools release?

Hi Devs, I tried to fix the most annoying things in our devtools today and I think it's time to put it into a package for [testing]. See git for a changelog: http://projects.archlinux.org/devtools.git/log/ Imho it's best to have more releases with a little number of changes. I would like to do some local checks and then prepare a package for the testing repo. Any objections? Pierre -- Pierre Schmitz, https://users.archlinux.de/~pierre