Merge pull request #10470 from neheb/mini
authorRosen Penev <redacted>
Thu, 7 Nov 2019 18:44:08 +0000 (10:44 -0800)
committerGitHub <redacted>
Thu, 7 Nov 2019 18:44:08 +0000 (10:44 -0800)
minisatip: Update to 1.0.2


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