Auto-Merge pull request #3228 from rpv-tomsk/issue-3215
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Tue, 23 Jul 2019 14:16:15 +0000 (16:16 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Jul 2019 14:16:15 +0000 (16:16 +0200)
Automatically merged due to "Automerge" label


Trivial merge