mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-27 00:57:32 +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.