Merge pull request #9520 from danielkucera/minisatip
authorRosen Penev <redacted>
Sat, 20 Jul 2019 00:39:22 +0000 (17:39 -0700)
committerGitHub <redacted>
Sat, 20 Jul 2019 00:39:22 +0000 (17:39 -0700)
minisatip: pkg hash fix


Trivial merge
git clone https://git.99rst.org/PROJECT