Merge pull request #13613 from Cynerd/wget-ssl-variant-rename
authorRosen Penev <rosenp@gmail.com>
Tue, 22 Dec 2020 22:57:17 +0000 (14:57 -0800)
committerGitHub <noreply@github.com>
Tue, 22 Dec 2020 22:57:17 +0000 (14:57 -0800)
wget: rename wget to wget-ssl


Trivial merge