Upgrade to rustc 0.13.0-dev (a10917a6a 2014-10-24 17:32:04 +0000)