Merge pull request #12289 from neheb/GIF
authorRosen Penev <rosenp@gmail.com>
Mon, 25 May 2020 19:55:56 +0000 (12:55 -0700)
committerGitHub <noreply@github.com>
Mon, 25 May 2020 19:55:56 +0000 (12:55 -0700)
giflib: remove host build


Trivial merge