Auto-Merge pull request #3286 from mrunge/master
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Mon, 23 Sep 2019 08:34:58 +0000 (10:34 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Sep 2019 08:34:58 +0000 (10:34 +0200)
Automatically merged due to "Automerge" label


Trivial merge