Auto-Merge pull request #2535 from mfournier/collectd-5.8
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Tue, 14 Nov 2017 22:08:48 +0000 (23:08 +0100)
committerGitHub <noreply@github.com>
Tue, 14 Nov 2017 22:08:48 +0000 (23:08 +0100)
Automatically merged due to "Automerge" label


Trivial merge