Merge pull request #127 from philsmd/master
authorJens Steube <jens.steube@gmail.com>
Thu, 14 Jan 2016 08:01:48 +0000 (09:01 +0100)
committerJens Steube <jens.steube@gmail.com>
Thu, 14 Jan 2016 08:01:48 +0000 (09:01 +0100)
add skipped devices to the --benchmark output


Trivial merge