mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-22 18:15:07 +03:00
9eb0399a9d
This was supposed to land as part of #72227. (I wish `git push` would abort when you have uncommited changes.)