Merge pull request #12052 from neheb/sati
authorRosen Penev <rosenp@gmail.com>
Tue, 5 May 2020 21:38:16 +0000 (14:38 -0700)
committerGitHub <noreply@github.com>
Tue, 5 May 2020 21:38:16 +0000 (14:38 -0700)
minisatip: update to 1.0.3


Trivial merge