mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-26 17:42:04 +00:00
This also adds back a comment that was mistakenly removed in ac9dfc3e7785c9bba96ebac4fd51726189e1bf91.
This also adds back a comment that was mistakenly removed in ac9dfc3e7785c9bba96ebac4fd51726189e1bf91.