[arch-dev-public] new devtools release?

[Pierre Schmitz]

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