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


Trivial merge