Merge pull request #4908 from br101/horst
authorHannu Nyman <hannu.nyman@iki.fi>
Fri, 6 Oct 2017 14:46:28 +0000 (17:46 +0300)
committerGitHub <noreply@github.com>
Fri, 6 Oct 2017 14:46:28 +0000 (17:46 +0300)
horst: Use https tar.gz instead of git download


Trivial merge