Auto-Merge pull request #2539 from octo/cid/179243
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Fri, 17 Nov 2017 13:16:58 +0000 (14:16 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Nov 2017 13:16:58 +0000 (14:16 +0100)
Automatically merged due to "Automerge" label


Trivial merge