On Thu, Apr 09, 2009 at 02:03:01PM +0200, Andrea Scarpino wrote: > unflag manually annoying me Community will be moving to devtools in the near future, maybe even before the next AUR release. (Don't quote me on that though)