Merge pull request #6684 from neheb/pps
authorHannu Nyman <hannu.nyman@iki.fi>
Wed, 14 Nov 2018 18:44:56 +0000 (20:44 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Nov 2018 18:44:56 +0000 (20:44 +0200)
pps-tools: Update to 1.0.2 and switch to codeload


Trivial merge