.gitmodules: use the official Git URL w/o redirect#41114
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 7, 2017
Merged
.gitmodules: use the official Git URL w/o redirect#41114bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
