Update rustc to 00b112c45a604fa6f4b59af2a40c9deeadfdb7c6/rustc-1.0.0-dev. #135

Merged
merged 1 commit into from Jan 28, 2015