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

[Allan McRae]

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