Auto-Merge pull request #2588 from octo/cid/37968
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Fri, 1 Dec 2017 14:20:59 +0000 (15:20 +0100)
committerGitHub <noreply@github.com>
Fri, 1 Dec 2017 14:20:59 +0000 (15:20 +0100)
Automatically merged due to "Automerge" label


Trivial merge