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)
commit20960e50214e43485e9d05c6955c2d985e756391
treefa6b1e1c1a92c24bfc785ec645aa371cfd0d1b6a
parent59148c7ac5d18f75fb93d75fe2a5fe44e28aaaea
parent6812cedecdbfa84000f21bd13d8f3e2e3bc3d7ca
Merge pull request #12052 from neheb/sati

minisatip: update to 1.0.3