mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-29 11:51:31 +03:00
668b3188ab
This sharding is never used (per the comment in code). If we re-add sharding at some point in the future this is cheap to restore, but for now no need for the extra complexity.