Auto-Merge pull request #2945 from octo/ff/travis
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Tue, 9 Oct 2018 15:11:27 +0000 (17:11 +0200)
committerGitHub <noreply@github.com>
Tue, 9 Oct 2018 15:11:27 +0000 (17:11 +0200)
Automatically merged due to "Automerge" label


Trivial merge