Merge pull request #14318 from zhanhb/wget
authorRosen Penev <rosenp@gmail.com>
Wed, 23 Dec 2020 22:04:34 +0000 (14:04 -0800)
committerGitHub <noreply@github.com>
Wed, 23 Dec 2020 22:04:34 +0000 (14:04 -0800)
wget: fix build


Trivial merge