[arch-dev-public] [signoff] devtools-0.8.0

Hi, A new devtools release has been pushed to [testing]. Everything works on a brief test here, but I thought it a good idea to do some testing before pushing to [extra]. Allan