mozilla/rust — pull request #12509 by brson (2014-02-23 23:46:50+00:00)
Title: Rollup

Rollup of https://github.com/mozilla/rust/pull/12506, https://github.com/mozilla/rust/pull/12500, https://github.com/mozilla/rust/pull/12480, https://github.com/mozilla/rust/pull/12478, https://github.com/mozilla/rust/pull/12461.