Auto-Merge pull request #2522 from mfournier/fix-collectd-5.8-build
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Mon, 6 Nov 2017 22:04:51 +0000 (23:04 +0100)
committerGitHub <noreply@github.com>
Mon, 6 Nov 2017 22:04:51 +0000 (23:04 +0100)
Automatically merged due to "Automerge" label


Trivial merge