mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-28 03:07:24 +03:00
cec1793d8c
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: rust-lang/rust@0462e8f7e5 Filtered ref: rust-lang/rustc-dev-guide@a136707fa9 Upstream diff: https://github.com/rust-lang/rust/compare/873d4682c7d285540b8f28bfe637006cef8918a6...0462e8f7e51f20692b02d68efee68bb28a6f4457 This merge was created using https://github.com/rust-lang/josh-sync.