Merge pull request #14842 from marcin1j/pr/20200221-fix-mini_snmpd-source-repo
authorRosen Penev <rosenp@gmail.com>
Mon, 22 Feb 2021 20:51:11 +0000 (12:51 -0800)
committerGitHub <noreply@github.com>
Mon, 22 Feb 2021 20:51:11 +0000 (12:51 -0800)
mini_snmpd: fix spurious version bump to 1.6


Trivial merge