Auto-Merge pull request #2937 from sreedi/fix-2696
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Mon, 8 Oct 2018 08:32:35 +0000 (10:32 +0200)
committerGitHub <noreply@github.com>
Mon, 8 Oct 2018 08:32:35 +0000 (10:32 +0200)
Automatically merged due to "Automerge" label


Trivial merge