Merge branch 'master' of https://github.com/flaviut/pigpio
authorjoan2937 <joan@abyz.me.uk>
Thu, 2 Jan 2020 14:15:35 +0000 (14:15 +0000)
committerjoan2937 <joan@abyz.me.uk>
Thu, 2 Jan 2020 14:15:35 +0000 (14:15 +0000)

Trivial merge