Merge pull request #12646 from neheb/minis
authorRosen Penev <redacted>
Thu, 2 Jul 2020 05:46:38 +0000 (22:46 -0700)
committerGitHub <redacted>
Thu, 2 Jul 2020 05:46:38 +0000 (22:46 -0700)
minisatip: fix compilation with GCC10


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