mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-16 21:15:18 +03:00
ae696f847d
The previous setup tied two unrelated things together. Splitting these two is a better model.