chiark / gitweb /
Merge branch 'import' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 1 Jan 2017 23:25:30 +0000 (23:25 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 1 Jan 2017 23:25:30 +0000 (23:25 +0000)
import: fix raw git-over-https urls

See merge request !196


Trivial merge