projects / pigpio.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b8e23a2 4985f93)
Merge branch 'master' into debian
authorPeter Michael Green <plugwash@debian.org>
Thu, 17 Jan 2019 00:41:55 +0000 (00:41 +0000)
committerPeter Michael Green <plugwash@debian.org>
Thu, 17 Jan 2019 00:41:55 +0000 (00:41 +0000)

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.