Auto-Merge pull request #2939 from octo/pr2937-backport
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Mon, 8 Oct 2018 09:33:29 +0000 (11:33 +0200)
committerGitHub <noreply@github.com>
Mon, 8 Oct 2018 09:33:29 +0000 (11:33 +0200)
Automatically merged due to "Automerge" label


Trivial merge