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


Trivial merge