From: Oliver Schneider <oli-obk@users.noreply.github.com>
Date: Mon, 1 Aug 2016 13:21:41 +0000 (+0200)
Subject: Merge pull request #1126 from Manishearth/rustup
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=34645322948219d0d05fd26d2a8388b35b128f9f;p=rust.git

Merge pull request #1126 from Manishearth/rustup

 Rustup to rustc 1.12.0-nightly (1225e122f 2016-07-30)  and bump to 0.0.80
---

34645322948219d0d05fd26d2a8388b35b128f9f