Learn more about these different git repos.
Other Git URLs
.tgz is still sometimes used, let's add it to default set
PR #1344
Commit 0ed215c fixes this issue
Commit 3c56e12 fixes this issue
Metadata Update from @dgregor: - Issue set to the milestone: 1.18
Login to comment on this ticket.