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)
commitf3d23d49b04a5635698c398cdb74f0524acb7142
treed3069578774eca70a79aa824e6627b0f3ad4de50
parent8705106beb492e94ffb76e1215d30489c9471916
parent0c71486edd076f1bc9e080d7eaa31ea0fad6d15b
Merge pull request #10470 from neheb/mini

minisatip: Update to 1.0.2