Merge pull request #8198 from jefferyto/mini-snmpd-init
authorRosen Penev <rosenp@gmail.com>
Sun, 31 Mar 2019 20:48:22 +0000 (13:48 -0700)
committerGitHub <noreply@github.com>
Sun, 31 Mar 2019 20:48:22 +0000 (13:48 -0700)
mini_snmpd: Update init script


Trivial merge