I’d like to get https://github.com/rust-lang-nursery/rustup.rs/pull/1250 in a release. What’s the process? Can I help?