mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-04 11:17:04 +00:00

They are very similar, and each one has a comment about the importance of being kept in sync with the other. This commit removes the duplication.