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)
commit66ba43293e01c6f2ff6b3036360bf8163e0649d0
tree617386558040fb85246a95069605cd57f6117e40
parent31dac1a0ed8150cdaf1e06358a63ec01f9e762e2
parent0aff79f29fee274441c22e1eecb199636c3b11ff
Merge pull request #14893 from cotequeiroz/setools

setools: Avoid using host libraries