Merge branch 'reportedLevels' of https://github.com/guymcswain/pigpio into guymcswain...
authorjoan <joan@abyz.me.uk>
Sun, 21 Oct 2018 08:27:40 +0000 (09:27 +0100)
committerjoan <joan@abyz.me.uk>
Sun, 21 Oct 2018 08:27:40 +0000 (09:27 +0100)

Trivial merge