Auto-Merge pull request #2952 from octo/issue/2951
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Fri, 12 Oct 2018 12:18:14 +0000 (14:18 +0200)
committerGitHub <noreply@github.com>
Fri, 12 Oct 2018 12:18:14 +0000 (14:18 +0200)
Automatically merged due to "Automerge" label


Trivial merge