Skip to content

.gitmodules: use the official Git URL w/o redirect#41114

Merged
bors merged 1 commit intorust-lang:masterfrom
nodakai:patch-2
Apr 7, 2017

Commits

Commits on Apr 6, 2017