Skip to content

Warn if using hash in git URL, Fixes #8241#8297

Merged
bors merged 4 commits intorust-lang:masterfrom mjarkk:warn-when-using-hash-in-git-urlJun 1, 2020

Commits

Commits on May 30, 2020

Commits on Jun 1, 2020