Auto-Merge pull request #2813 from rpv-tomsk/master
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Sat, 9 Jun 2018 16:20:41 +0000 (18:20 +0200)
committerGitHub <noreply@github.com>
Sat, 9 Jun 2018 16:20:41 +0000 (18:20 +0200)
Automatically merged due to "Automerge" label


Trivial merge