mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-31 05:26:23 +03:00
cb8ca2dafd
The consensus on #14917 was that the proposed names were too long.