mirror of
https://github.com/rust-lang/rust.git
synced 2025-12-03 20:00:33 +00:00
This turned out to not be useful, so remove it. This reverts commit b7b93103fb9293c0c502dc1ae34e2ad5c871bc39.
This turned out to not be useful, so remove it. This reverts commit b7b93103fb9293c0c502dc1ae34e2ad5c871bc39.