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)
remove pointless host builds


Trivial merge