Restore creating the channel-rust-$channel-date.txt files#40225
Merged
bors merged 2 commits intorust-lang:masterfrom Mar 11, 2017
Merged
Restore creating the channel-rust-$channel-date.txt files#40225bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom