davecheney/gpio — pull request #14 by alext (2014-02-05 22:14:17+00:00)
Title: Couple of fixes for reading gpio pin value.

Without these, reading gpio values on the Raspberry Pi was erroring, or always returning true.