Merge pull request #12381 from neheb/host
authorRosen Penev <rosenp@gmail.com>
Sat, 6 Jun 2020 18:46:17 +0000 (11:46 -0700)
committerGitHub <noreply@github.com>
Sat, 6 Jun 2020 18:46:17 +0000 (11:46 -0700)
commit6ef9d9e794627fa64c91eeb48a362bf3677684ae
tree11f381184439fbc6f7e024f52e0222b2c0ae70f7
parent9bf4d0f6b0b67b493cb84783f789804549441327
parent530d30af3604e20cfff0064256979ddec44b28ae
Merge pull request #12381 from neheb/host

remove pointless host builds