If local-rust is the same as the current version, then force a local-rebuild#34779
Merged
bors merged 3 commits intorust-lang:masterfrom Jul 16, 2016
Merged
If local-rust is the same as the current version, then force a local-rebuild#34779bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom