Merge pull request #6642 from krombel/replace_git_by_https
authorRosen Penev <rosenp@gmail.com>
Fri, 5 Apr 2019 00:10:02 +0000 (17:10 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Apr 2019 00:10:02 +0000 (17:10 -0700)
[17.01] Change links from git://github.com to https://github.com


Trivial merge