Auto-Merge pull request #3206 from dago/pid_test
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Wed, 10 Jul 2019 07:17:39 +0000 (09:17 +0200)
committerGitHub <noreply@github.com>
Wed, 10 Jul 2019 07:17:39 +0000 (09:17 +0200)
Automatically merged due to "Automerge" label


Trivial merge