Merge pull request #14893 from cotequeiroz/setools
authorRosen Penev <redacted>
Thu, 25 Feb 2021 04:08:15 +0000 (20:08 -0800)
committerGitHub <redacted>
Thu, 25 Feb 2021 04:08:15 +0000 (20:08 -0800)
setools: Avoid using host libraries


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