From: Oliver Schneider <oli-obk@users.noreply.github.com>
Date: Thu, 25 Jan 2018 08:02:05 +0000 (+0100)
Subject: Merge pull request #2399 from rust-lang-nursery/rustup
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=78120382068de39c8d61b40579f2ff1d5f1eea91;hp=930a8c6cab34133aa0bafbdcf041169189df1863;p=rust.git

Merge pull request #2399 from rust-lang-nursery/rustup

Rustup to rustc 1.25.0-nightly (a0dcecff9 2018-01-24)
---