Update rust to ffc111889e93bcd38222d9d74a70fdc26a78fcb5/rust-0.13.0-dev #125

Merged
merged 1 commit into from Jan 7, 2015