Auto-Merge pull request #3090 from rubenk/lua-plugin-prevent-leak-on-shutdown
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Tue, 19 Feb 2019 19:28:48 +0000 (20:28 +0100)
committerGitHub <noreply@github.com>
Tue, 19 Feb 2019 19:28:48 +0000 (20:28 +0100)
Automatically merged due to "Automerge" label


Trivial merge