0.4.3: minor tweak to devices listing
Merge branch 'master' into sbt-0.11