Release of Rust-0.12.0