davecheney/autobench — pull request #6 by capnm (2013-04-04 11:08:53+00:00)
Title: Add RPi benchmark results.

Let's hope I pushed the right github buttons.